Hacker News new | ask | show | jobs
by dv_dt 2631 days ago
Oh, it seems so on re-reading the comment, that was my mistake in interpretation. Thanks for the check.