# -*- mode: org -*-
@<div class="dlmenu">
[[src][Browse Source]] || [[tar_gz][Download tar.gz]] || [[zip][Download zip]]
@</div>