Post #2131645

@jonmsterling for those (like me) out of the loop. This was said in context to the recent agda fork: https://types.pl/@amy/116522250630340534