Stars feature missing? In the Properties -- World tab, I am no longer seeing the "Stars" option. Has it been removed or did I accidentally do something silly that caused it to be deleted or completely hidden? It is completely absent not just closed, and I have tried with several different files and a new restart.

I am running on Manjaro Linux and the blender version currently installed is 10:2.69.a0dbee6e. I'm not sure of the change occurred at the last upgrade or since then.
Stars feature has been dropped from Blender Internal render engine. See here. However, the official release 2.69 still has it. You can either choose that version, or find another way to get the same result.