A bit more tidying up of space.js
A bit more tidying up of space.js

Not much point going beyond this, as the fundamental system
(ts.js, chrjs, etc) is out of date with modern beliefs about
how things ought to be done.

TiddlySpace/tiddlyspace,TiddlySpace/tiddlyspace,TiddlySpace/tiddlyspace