Delete unfinished documentation

This deletes some documentation we never finished. It is currently live,
but nothing links to this page. It is only accessible through the search
function. Let's just delete it.