cosmetic changes

[dbscoach]

Signed-off-by: David Schwarz [email protected]

Please describe your change in one or two sentences

I have some cosmetic edits to the rules document that I want to queue up.

Please explain why do you think this change should be in the rules

Just housekeeping. Will un-draft PR as they are done.

[mrshu]

@dbscoach I presume we'd want to get these in at some point?

[mrshu]

@dbscoach I guess this is no longer relevant, right?

[dbscoach]

I maintain that we'll need a bit of a rewrite of the rules at some point for readability and to remove some of the idiosyncrasies we don't even notice anymore because these have been the rules forever. I had started to make a couple edits here and there and still think those would be worthwhile but lost track of that over the past year. I'd like to keep the PR open to rebase and revive that effort hopefully in Q1 of 2024

[mrshu]

Thanks @dbscoach, that sounds very reasonable. I just wasn't sure whether this was something worth closing but it doesn't seem like it 🙂