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.