2 *Note*: the `socket.io.js` file is the generated output of `make socket.io.js`, and should not be manually modified.
4 ### The kind of change this PR does introduce
8 * [ ] an update to the documentation
9 * [ ] a code change that improves performance
18 ### Other information (e.g. related issues)