Bug fixed: the HTML source can be viewed again.