The text e0d135741695, as Debian 10 (Buster) shipped it.
System identification support code and utilities
platform(3tcl) on Linux now
