This library contains several development tools. This is for developers or maintainers. Sometimes it can be useful to users also, but in particular cases.
This is a companion discussion topic for the original entry at https://hoa-project.net/En/Literature/Hack/Devtools.html