miscellaneous. The purpose of this repository is to archive any extraneous documents, or anything else that really has no specific category but needs a home.