…also, HKUST now knows this blog. I won’t say whether it’s a good thing or not, but visitors count++ is always good 😛