The text 9d4c2a61bc0c, as Debian 10 (Buster) shipped it.
Make a modifed run-input file
gmx-convert-tpr(1) on Linux now
