<li>@{[ a_href 'http://cvs.jankratochvil.net/viewcvs/*checkout*/priv/captive/TODO?rev=HEAD','Known Bugs' ]}</li>
<li>@{[ a_href 'Resources.html.pl','Related Pages' ]}</li>
<li>@{[ a_href 'Thanks.html.pl','Thanks' ]}</li>
<li>@{[ a_href 'http://cvs.jankratochvil.net/viewcvs/*checkout*/priv/captive/TODO?rev=HEAD','Known Bugs' ]}</li>
<li>@{[ a_href 'Resources.html.pl','Related Pages' ]}</li>
<li>@{[ a_href 'Thanks.html.pl','Thanks' ]}</li>