Rename designtheory to designtheory.html