You probably don’t need input type=“number” | Hacker News Reader