The text b3b5533c9281, as Debian 9 (Stretch) shipped it.
global degree of freedom numbering
numbering(7rheolef) on Linux now
