Thanks for the note. I’ll file an issue. FWIW I originally wrote this in google docs, then the best way I could find to get it here was to export as an HTML file, then copy and past from there to here.
Thanks for the note. I’ll file an issue. FWIW I originally wrote this in google docs, then the best way I could find to get it here was to export as an HTML file, then copy and past from there to here.