Awesome! This was the bug I'd found and reported. Yippee! So glad they figured that one out. It's been a long time since I reported that you couldn't edit a permalink!