HAL20000

Hi! I have had a quick look on the merge branch and I think it might be problematic that Florian Schüller's changeswhen trying to fixing the problems in network mode...

I was also writing a patch for the disappearing planets in network mode. IMHO the randomness in `planet.py` is necessary if you want to use all the different planet sprites...

Latex support doesn't seem to have been unintentional. It was added with #345. Its removal in #1346 seems to have been accidental / unintentional but was apparently left to a...