@icecolbeveridge @ajk_44 @RobJLow @reflectivemaths @Pecnut Less obliquely: there are some cool new tools that fairly easily take LaTeX and produce both printable PDFs and web pages. Most of them involve pandoc. I was just composing a reply saying we should chat about that, because it's something nrich should do