JS exception trying to load implementors of trait

```
Uncaught TypeError: undefined is not a function      main.js:711
```

Looks like that line's calling `startsWith` on a string, which is way too new to be supported anywhere: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String/startsWith
