3 ms·Would not have expected to ever find those lines quoted on HN. Thank you. And Merry Christmas!by leobg 10mo agoWould not have expected to ever find those lines quoted on HN. Thank you. And Merry Christmas!