# jimmy --- convert .gmi to .html and other formats

[to be documented]