Stars rotate with camera

In the process of doing this, I figured out the true difference between
orientTranslate and worldTranslate. This knowledge would have made a lot
of other things much easier... but oh well, too late for that.