Let's write textbooks in HTML!