@cstross That's a zinger! 😏