move /documentation to /doc like it is on the old site