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