I've made a tweak that should fix the incorrect handling of ampersands.
(this is fixed now : you need to refresh the browser to get the new AJAX code from Translatewiki.net for the translation editor). Thanks.