Paper over recent web-server internal API changes.