The text b34b04be3e89, as Debian 10 (Buster) shipped it.
Standard doclet module for EDoc.
edoc_doclet(3erl) on Linux now
