web.bancho.py a small flask-based browser-facing web server for handling non-bancho requests like the home page and user profiles.