Copy of the jupyter notebook extensions user config file I had

[moorepants]

This was in $HOME/.jupyter/nbconfig/notebook.json:

{
  "Cell": {
    "cm_config": {
      "lineNumbers": false
    }
  },
  "Notebook": {
    "Toolbar": true,
    "Header": true
  },
  "load_extensions": {
    "rubberband/main": true,
    "exercise2": true,
    "exercise2/main": true,
    "exercise/main": false
  }
}

I deleted it because the stupid rubberband thing is buggy.