Jupyterlab for education on raspberries need to lighten the build process

Special Topics Education
,
6

(By the way, the fixes in Is this dirty build hack acceptable to use extensions on raspberry? are in the latest JupyterLab rc, 3.0rc7)