SI: Manual issue numbering. #7
Description
We should number the issues manually so that they don't change while fiddling with the document's structure.
{{ message }}
We should number the issues manually so that they don't change while fiddling with the document's structure.