The text e704a7907a8d, as Debian 9 (Stretch) shipped it.
Standard doclet module for EDoc.
edoc_doclet(3erl) on Linux now
