3 ms·My bad, I just skimmed. This is HN after all ;-)by pstuart 8mo agoMy bad, I just skimmed. This is HN after all ;-)