[PATCH 1/3] Fix a typo in compiling.html.in: that -> from