Aha, do note that sarcasm mostly goes down badly on hn, because literal people, and jokes historically frowned upon.