<div id="edit-link">
	<p>
		<a target="_blank" href="$EditLink">
			Edit this page <small>(requires github.com login)</small>
		</a>
	</p>
</div>