in><header><nav class="container"><a href="/" title="Learn more about Gren"><img alt="Robin, the Gren mascot" src="/big_icon.png"></a><ul class="navigation-list float-right"><li class="navigation-listitem"><a href="/news" title="Read the latest news from the core team">News</a></li><li class="navigation-listitem"><a href="/install" title="Get the compiler setup on your machine">Install</a></li><li class="navigation-listitem"><a href="/learn" title="Learn how to write Gren code">Learn</a></li><li class="navi