The Bookmarklet I wrote about is now history.
Felix Ritter has written the extension "View formatted source" to Mozilla Firefox that works even better than the bookmarklet. It has syntax highlighting, folding of tags, expanding of dynamic JavaScript and more.