Hi Matt,
thanks for the new patch!
Before applying it (and working further on it), I suggest we wait for
Yehonathan's feedback on making klipse.js librejs-compatible. That's
possibly a blocking issue, and we need to sort it out.
Thanks!
--
Bastien