Improvements to Library.js.
Experimental code in gui-> openLibrary() (commented out for stability)