## Summary

<!-- If your pull request includes many commits, please provide a summary,
     otherwise delete this section. We prefer you put detailed descriptions
     in the commit messages. -->

## Checklist

- [ ] Enable "Allow edits from maintainers". (So we can make necessary changes).
- [ ] Add changelog entries to commit messages when appropriate. These will be included in release announcements.
  <details>
  Format the changelog entries like this:

  `Changelog: BugFix: Stop picom from summoning the Great Old Ones.`

  The entry starts with `Changelog: `, followed by a category name (`BugFix: ` in this case), then a short description of the changes in the commit.
  <summary>How to format changelog entries</summary>
  </details>
