Migrate small personal settings #690

This check will pass when downstack PRs merge

#688 needs to be merged into main before you can merge this PR.
- This PR is stacked on top of #688. Merging this PR on GitHub will cause it to merge incorrectly into #688 instead of main.
- Learn more about stacked PRs here
To ensure that these PRs merge correctly, view and merge this PR with Graphite
To disable this check, edit your organization's settings on Graphite.