These changes were done by Junie AI and reviewed by me locally.

One thing i noticed: under.githubs/worksflows/, we have*.yml and*.yaml.

Looks reasonable to me.

Note that we usecodespell in the main repo, as part of CI. It's good, but it doesn't catch everything.

Looks good to me.
Re:.yml vs.yaml - it seems there is no "better" one, either will do. Looking at theGitHub Actions documentation, all their examples use.yml (even though the article starts by saying it doesnt matter). I could not find which of the two is more common overall.
So let's pick one of the two (personally I like.yaml). As I understand it, renaming should have no (negative) effect. Actions should continue working the same.

Guess a separate PR for the yaml is better, didn't fit into this.