For the record, I've opened a discussion in the jupiter-notebook forums: https://github.com/jupyter/notebook/discussions/6436
For the record, I've opened a discussion in the jupiter-notebook forums: https:/ /github. com/jupyter/ notebook/ discussions/ 6436