By the way, when you say Nick, you don't mean nickb' (https://news.ycombinator.com/threads?id=nickb) do you?