The pull request is this:
https://github.com/sagemath/sagenb/pull/93 and
as far as I know there are no other (up to date) forks of this. It
requires a rebase since it won't apply to current master.
On this topic - should we import all of Samuel's work as a new branch
called "new-ui" on sagemath/sagenb? Then anyone can send pull requests
to that branch with bug fixes and enhancements.