Off-topic posts moved from ICFC-22 threads