Fix #8 Escape HTML in displayed source code