Hacker News new | ask | show | jobs
by Udo_Schmitz 1733 days ago
You are of course right and I edited my comment accordingly.