The text b6aed94675a8, as Debian 12 (Bookworm) shipped it.
planification of a transition
coq-planif-transition(1) on Linux now
