Index
This page collects general notes and references. Entries are brief. Content is reviewed from time to time.