Thank you! global-map did the trick for me, though I seem to have tried it a few years ago without success: https://news.ycombinator.com/item?id=29726398#297310

Thank you! global-map did the trick for me, though I seem to have tried it a few years ago without success: https://news.ycombinator.com/item?id=29726398#29731027 https://news.ycombinator.com/item?id=29726398#29731027