Johannes Heuel

I was just wondering why the program terminated in one case but not in the other case where solely the html was different. Thanks for your input about window events...

I added the following to my vscode user settings to add a little bit more contrast: ``` "workbench.colorCustomizations": { "notebook.cellEditorBackground": "#2B2B2B", "notebook.focusedCellBorder": "#b8b8b8", }, ```

I had problems with libressl on some servers and switched back to openssh. To get it working I took the patch from the first post and added the current version...