[Plugin: Permalink Editor] Doesn't work with HTTPS plugin

Please see thread at http://ww.wp.xz.cn/support/topic/plugin-wordpress-https-ssl-cant-use-with-permalink-editor – apparently it would be possible for this plugin to work with that one if things were done differently. I’m not sure exactly what the author of that plugin means, but it would be really nice to have the two work together nicely. Both are pretty much essential for my web site, and I would imagine there would be others who would also appreciate being able to use both.

http://ww.wp.xz.cn/extend/plugins/permalink-editor/