server.py: remove dead comments