This commit moves the existing files to better fitting places. It is part of a documentation rework I'm doing.