[Merged by Bors] - chore(AtLocation): clean up backtick handling#37999
Closed
grunweg wants to merge 4 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - chore(AtLocation): clean up backtick handling#37999grunweg wants to merge 4 commits intoleanprover-community:masterfrom
grunweg wants to merge 4 commits intoleanprover-community:masterfrom
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}