The text c02f19b6fe6f, as Debian 9 (Stretch) shipped it.
EDoc documentation extraction.
edoc_extract(3erl) on Linux now
