License

[chernandezba]

Hi.

What is the license use for the font tom-thumb.psf.gz ?

[chernandezba]

I assume is the same as https://robey.lag.net/2010/01/23/tiny-monospace-font.html

So license CC0 or CC-BY 3.0, right?