On 12/31/2021 3:54 PM, ais523 via agora-discussion wrote: > Arguably, because a singleton > switch is a switch that pertains to Agora, adding a new one would > involve creating a new Agora. >
Nice! Not that intent matters, but in writing the proposal I put The Device Rule before The Mad Engineer Rule on purpose... it seemed like it would be more interesting if the device-added text had some precedence over its definition.