Unnamed repository; edit this file 'description' to name the repository.
rtant features, correctness, etc.) will trump strict readability, but we nevertheless want to keep the code base straightforward and easy to understand to the extent we can.