Also, the documentation_infrastructure.html doc page will also need updating.