A bug in /reasonator/main.js about https redirection

[Former user]

On main.js, line 3527, shouldn't

window.location = window.location.href.replace(/^https:/,'http:/') ;

be

window.location = window.location.href.replace(/^https:/,'http:') ;

Thanks!

[Magnus Manske]

Thanks, should be fixed now.