Every definition, theorem, lemma and conjecture from every post, lecture and research result, in one searchable place. It fills itself in as I write.