Merge "Minor changes since Dan's changes"
diff --git a/src/source/download.html b/src/source/download.html
new file mode 100644
index 0000000..0820f26
--- /dev/null
+++ b/src/source/download.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta http-equiv="refresh" content="0;url=/source/initializing.html" />
+</head>
+<body>
+</body>
+</html>
diff --git a/src/source/git-repo.html b/src/source/git-repo.html
new file mode 100644
index 0000000..83b2ee7
--- /dev/null
+++ b/src/source/git-repo.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta http-equiv="refresh" content="0;url=/source/version-control.html" />
+</head>
+<body>
+</body>
+</html>