Open source

Upstream contributions.

Only contributions to repositories I do not own appear here. Personal-project PRs are intentionally excluded.