The text 1f243c0d9493, as Debian 8 (Jessie) shipped it.
Standard doclet module for EDoc.
edoc_doclet(3erl) on Linux now