MD5 (htmldoc-1.8.20-1-source.tar.gz) = 5a25bb72cc94c17160789fa86c763ceb