On 2016-12-14 22:01, Bastien wrote: 
> 1. librejs could complain about Klipse not being safe.
> …
> (1) seems more problematic.

Could klipse be updated to include a LibreJS-friendly header?  Or could LibreJS be taught specifically about that library?  If so, there shouldn't be an issue with (1), right?

Clément.