Remove docs/tmp (partial revert)

In commit 92d4b2143f0e3f144106054f3f2446fbba28add4 docs/tmp
got committed.

This directory should never be committed, probably a simple
mistake.