The text a9dd0d8fefa6, as Debian 10 (Buster) shipped it.
The software project management tool
mix(1) on Linux now
