Currently it seem like the rule picker makes use of the full body of the rule. However, referees largely use a mix of rule numvers and the rule "headlines" to recognise, name, and communicate rules. Would people be amenable to switch these? I'd be happy to work on a PR to get this done
Currently it seem like the rule picker makes use of the full body of the rule. However, referees largely use a mix of rule numvers and the rule "headlines" to recognise, name, and communicate rules. Would people be amenable to switch these? I'd be happy to work on a PR to get this done