instructions/whatishtml.html: Tidied markup