A personal knowledge base
These notes are mainly to help future me recall tidbits of infrequently used information.