Rename all pages

Follow-up to f6d0abc662947dc1c54fa00ba15d3e230a92aaea. Now every source file name is the same as the destination. No more magic.

*Note: my editor removes whitespaces at the end of lines. So the files are more changed then I wanted.*