Oof.  I mean to type:

<nowiki><pre>
html "&lt;a href='$current_page'>$current_page&lt;/a>"