MD5 (manued-0.9.3.tar.gz) = cbbd52a30eb1ce531b4cdbc84a991956
MD5 (manued-0.9.4-cur.el) = 74c038db1fb458b14b7374bb7f50bb41