The text 0a8b5f95a24b, as Debian 10 (Buster) shipped it.
dump contents of planetsplitter intermediate data
filedumperx(1) on Linux now
