and so is @classmethod, but --- @instancemethod is up for grabs :-)

Done. Typically, I try to avoid using them (for otherwise I use way too many), but here it indeed seems best.