Add more simple modifications to documentation.html