I would like to add a ruler at 80 characters. I know that you can add rulers to CodeMirror, but I don't know if I'm supposed to place the corresponding javascript in a file somewhere, or in JupyterLab's Advanced Settings Editor
> CodeMirror
> User Overides
section, or if I should do something else all together to get it working.
I'm using JupyterLab 0.31.8