Here are my suggestions of Pull Requests I might make. I’d appreciate comments on them. https://docs.google.com/document/d/1EAk8656h4P7OBmYVvxkwCryiCp250MEH7SMuFGVFBGM/edit?usp=sharing
I suspect that ~nobody will see these if you post them in a comment or Google Docs link. Instead consider writing a short follow-up LW post which contains the suggested pull requests in the text while also linking to the Google Doc and this Q&A.
Here are my suggestions of Pull Requests I might make. I’d appreciate comments on them. https://docs.google.com/document/d/1EAk8656h4P7OBmYVvxkwCryiCp250MEH7SMuFGVFBGM/edit?usp=sharing
I suspect that ~nobody will see these if you post them in a comment or Google Docs link. Instead consider writing a short follow-up LW post which contains the suggested pull requests in the text while also linking to the Google Doc and this Q&A.