@shadyvb `ui/extensions.js: line 14, col 28, 'stream_extensions' is not defined.`