Remove old docs; compactify Resource Loading; shorten user timeout; shorten polling interval