Core library fixes and improvements: Part 2

Ah, that is interesting. I didn’t realize you could turn off PRs.

Well, I think turning off issues would be good too so those live in the official repos.