See https://stackoverflow.com/questions/73094227/how-do-i-declare-a-logic-variable

Blindly accept all changes in doc and type of plugin-dev-guide-labelled
values since last time `make check-dev-guide` was successfully launched

the lexer and parser are broken beyond repair

references to constructors of sum type were not correctly taken into account