@Luanti Nice writeup. Now only one question remains: how do I buy a t-shirt?