The text ea07801eaa05, as Debian 7 (Wheezy) shipped it.
OpenLink Virtuoso Opensource ini File Editor
INIFILE(1) on Linux now
