<!--
Pro-tip: To automatically close issues when a PR is merged,
include the following in your PR description:
Fixes: <LINK TO ISSUE>
-->