> Also, the documentation_infrastructure.html doc page will also need updating.

good catch I will change it :-)