since the github issue list is now a rudimentary backlog, this document is not required anymore