just kept for historical reasons, please ignore.
The purpose of having a separate repository for documentation may seem counter-productive. However, we expect that some sensitive information will get documented, as a result of team discussions, etc. To capture that, we needed a private repository; thus this one.