Hi, tiny tiny bug for HTML5 export in PICO-8 where the colon is missing on line 986 by default. Just slightly unaesthetic when dragging over HTML5 files onto my site. Hopefully it's a quick fix!