webserversetup.py is now deprecated. No replacement is planned.