The one I linked above, Custom Menu Provider / Replace Menu - #2 by Adrian.
However, I just noticed that my laptop is logged in with a different account from my desktop, meaning it was technically not my thread and thus not my place to mark a solution. I’ll make sure to use the same account in the future.