I had not done any testing with Elementor. I also added that I now recommend Permalinks Manager Lite instead of manually adjusting with the original code snippet. I am hopeful that they are much better tested for more scenarios than my code is.