Not massively important because of the new version due out soon, but GNOME Inform 7 is having problems with its generated HTML, producing lots of lines like “** (gnome-inform7:23598): WARNING **: Could not locate real filename for URI inform:/Reveal.png. There may be a bug in the HTML generated by Inform.” on the console.