The text 3000499eddaa, as Debian 10 (Buster) shipped it.
OpenLink Virtuoso Opensource ini File Editor
INIFILE(1) on Linux now
