Build #7 (Apr 26, 2020, 9:44:20 PM)

1. New environment for non-normative content without delimiting paragraph breaks (details / githubweb)
2. Move highly redundant non-normative text regarding operator record to separate paragraph (details / githubweb)
3. Clean up non-normative content in classes.tex (details / githubweb)

Push event to branch cleanup/nonnormative at 9:44:14 PM on Apr 26, 2020

• cleanup/nonnormative