JS Version 4.1.3 broken

Since version 4.1.3, the javascript included in the html page is broken. The following code (version 4.1.2) :

var triggerAreaHeight = windowWidth <= 782 ? 46 : 32;

Ends up now being in 4.1.3 :

var triggerAreaHeight = windowWidth <= 782 ? 46 : 32;

It looks as if an escape is done on “<” which of course breaks the code

The result is that the Auto Hide Admin Bar feature in the Admin Bar Settings is broken.