Rename administrators_manual.txt to administrators_manual.html