couple of them are actually useful!</p>
<p>Clone repos with <span style="font-family:monospace;">git clone
-git://boxin.space/[repo-name]</span>.</p>
+git://boxin.space:465/[repo-name]</span>.</p>
<p>In the highly unlikely event you wish to send a patch in, send them to
<span style="font-family:monospace;">patches [at] [this domain]</span>