Thanks so much for addressing this so quickly! I think I’ll wait until the next stable release, as URL shortening is working for now.
I’m also having this problem, where any HTTPS links to URLs ending in .jsp are being rewritten to HTTP upon updating a post in the WP editor (both visual and HTML view).
Here’s the relevant text from the console:
Unsecure External URLs: [ ] post.php:1338
[FIXED] Element: <script> https://www.xyz.com/page.jsp => http://www.xyz.com/page.jsp post.php:1339
I was able to work around this problem by using a URL shortening service such as TinyURL.