Hi Gábor, On Thu, 20 Jun 2019, at 8:46 AM, Gábor Boskovits wrote: > Is removing the comment intentional? Yes, the "sic"[0] was indicating that the typo of "jvascript" was intended (to match an upstream typo). That's now been fixed, so the comment is no longer necessary. Thanks, Josh [0]: see e.g. https://en.wikipedia.org/wiki/Sic