docs This folder contains a variety of miscellaneous documents. Note Many of these are quite out of date, but can be useful for reference.