Re-fix Documentation.ht