Implemented `aux.py` and some of the simpler command handlers.