[atomicnature]

That's interesting; no I wasn't aware of it. Will check it out sometime, thanks.

[iso8859-1]

There's a list of packages here: https://github.com/stefan-hoeck/idris2-pack-db/blob/main/STA...