documentation now rightly appears with /doc/design