Help page: Adjust line numbering of formatted code. Fixes #71