diff --git a/.gitignore b/.gitignore
index 354d9ca3..dcdafe7a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,15 @@
+
+# Junk that could exist anywhere:
 .DS_Store
+*.swp
+*.tmp
+
+# Project files that should not be in the repo
+.project
+.settings/
 .settings.xml
-.settings.xml.old
\ No newline at end of file
+.settings.xml.old
+
+# A handy place to put stuff that git should ignore:
+/ignore/
+
diff --git a/.project b/.project
deleted file mode 100644
index dbb46bdc..00000000
--- a/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>editor</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.wst.jsdt.core.javascriptValidator</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.wst.jsdt.core.jsNature</nature>
-	</natures>
-</projectDescription>
diff --git a/support/cockpit b/support/cockpit
index 1dc34f75..308e3478 160000
--- a/support/cockpit
+++ b/support/cockpit
@@ -1 +1 @@
-Subproject commit 1dc34f752c682f4f6c5b3894dc389a5c43b0447e
+Subproject commit 308e347893b9ed0645b46aa3f31d1d4fb5205fcc