doc: Add convention for defaults #1563

1. 
   real-or-random commented at 4:42 pm on July 1, 2024: contributor

   Resolves #1549.

   This does not say anything about compiler options and the like, but I think that’s okay for now.

2. doc: Add convention for defaults 16685649d2
3. real-or-random added the label assurance on Jul 1, 2024
4. real-or-random added the label meta/development on Jul 1, 2024
5. hebasto approved
6. 
   hebasto commented at 7:29 pm on July 1, 2024: member

   ACK 16685649d2a6e52f81659ec629bc4e603128c54c
7. 
   fanquake commented at 1:50 pm on July 3, 2024: member

   Concept ACK
8. jonasnick approved
9. 
   jonasnick commented at 6:18 pm on July 9, 2024: contributor

   ACK 16685649d2a6e52f81659ec629bc4e603128c54c
10. jonasnick merged this on Jul 9, 2024
11. jonasnick closed this on Jul 9, 2024

    ---

Contributors
real-or-random hebasto fanquake jonasnick

Labels
assurance meta/development