# Repository instructions

Material problems that this change does not fix are recorded in
`docs/backlog.md`, one entry per problem. An entry that is already there is
updated rather than repeated.

`docs/backlog.md` is private to this repository. Nothing from it is published.

This repository has no issue tracker and no remote.