3 ms·FYI, there are no PMs on HN, but thanking someone (being civil in general) is most welcome.by pygy_ 11y agoFYI, there are no PMs on HN, but thanking someone (being civil in general) is most welcome.