This directory contains our specifications before our conversion
to mdbook on Thu Oct 12 12:27:58 PM EDT 2023.