Spider now uses IndexedDB to skip already-read dirs (mostly working); remove demo code