@thomasfuchs If it was TypeScript transpiled into JavaScript, it shouldn't be a problem.