Comment by creata

Well, I'm not sure why that matters, but you can replace .html with .org in the URL and get the Org file.