tom_

Long-time pseudonymous HN commenter, now posting under my real name.

• Created31 Mar, 2018
• Karma2650