The new features of Hotcat are excellent: whom do I thank for this? :-) Are you still its maintainer?
Politeness: polite