garbage-collector.js: whole host of changes to support hiding the record rather than deleting it.