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