4 ms·I posted here before those comments were made. Perhaps should have posted there instead.by jsvaughan 15y agoI posted here before those comments were made. Perhaps should have posted there instead.