Recreate web documentation as a Unix file (attempt to fix #90)