The text dba31d795138, as Debian 10 (Buster) shipped it.
EDoc documentation extraction.
edoc_extract(3erl) on Linux now
