Comment by dang

This is a stub root comment to collect comments about website formatting, which have been transferred hither.