4 ms·Thanks for reporting! Both of those are already fixed in the latest tarball on the website.by tabbott 11y agoThanks for reporting! Both of those are already fixed in the latest tarball on the website.