2 ms·Not sure which is more amusing, the PR or the comments on HN.by maxrev17 6y agoNot sure which is more amusing, the PR or the comments on HN.