Just in case I’m up early tomorrow again: Low-memory symbol indexing with bloom filters.