Version 3.5.1 of widgetsnbextension, a pull request at github is already pending. Reproducible: Always
Done in 0f05726576afd490853595a33b2e867fb97ac2a2