Ciprian Dorin Craciun <xxxxxx@gmail.com> writes: | In order to transform the HTML into a "proper" HTML with closed tags (and then XHTML), I just opened the HTML file in Firefox, opened the developer tools and went to the DOM tab, clicked on the `<html>` element and copy it into clipboard. Then I've just pasted it over the original HTML, and surprisingly all the "closing tag" magic happened, while still keeping the original source formatting. That is great to know. One of my big concerns about making large-scale changes to the SRFI documents has been preserving formatting. That's just good manners towards the authors, and it eliminates the giant diff that makes what was actually done opaque.
