--- Log opened Thu May 26 00:00:35 2022
02:37 < darosior> I don't know, i feel like the "no duplicate keys" rule is clear and simple, and that trying to make the rule finer grained (more complicated) wouldn't gain us much. (As you pointed out already.)
05:17 <@sipa> yeah
--- Log closed Fri May 27 00:00:35 2022