Escape some HTML in documentation