Remove design-docs folder
This has turned into a graveyard for ideas. It only serves
to confuse people at this point. We have found it more productive
- use GitHub Epics and issues for smaller design questions
- use Google Docs for larger topics (e.g. native publishing)
These documents quickly go out of date once a feature is implemented.
They are not a replacement for good user and code documentation.
Many of the documents are about features that we never ended up
implementing. Having those documents still around might lock us
into a certain way of thinking about a problem. Instead we should
have a fresh look at it when we actually want to start working on it.
20 Sep 17 7069d5c353ee9e92adddff94faab5fa650fe4a58
Remove some some duplicated words from gradle
05 Mar 17 386a99389bb614fc2a11253f20b4f0d3e4c36462