Aren't you forgetting the young-adult Academy novels? Although technically those are from Simon Spotlight, a sister imprint of Pocket. But if there is a "ban," it's not coming from Pocket. They'd have no reason to create such a ban. And you should be well aware by now that Bad Robot chooses to supervise its tie-ins more directly than has been done with Trek tie-ins in the past, when it was strictly Paramount or CBS Licensing making the decisions.
My comment was meant in jest. Although yes, I was incorrect to say it was Pocket's decree/ban/whatever.