Audit DevNotes.md files for consistency with RandBLAS 1.0 #119
Description
RandBLAS 1.0 ended up being a substantial revision of RandBLAS 0.2. I need to systematically go through our developer notes files (called DevNotes.md, stored in various folders) to make sure they're up to date.