Off-topic: Speaking of the OP's username, it seems he originally used to go by StavrosK [1] on HN for several years, right? I initially didn't recognize the us

Off-topic: Speaking of the OP's username, it seems he originally used to go by StavrosK [1] on HN for several years, right? I initially didn't recognize the username because it was all-lowercase, so I'm curious why the rename from StavrosK to stavros? 1: https://news.ycombinator.com/user?id=stavrosk https://news.ycombinator.com/user?id=stavrosk