Get rid of empty file.
diff --git a/BROKEN b/BROKEN
deleted file mode 100644
index 4747794..0000000
--- a/BROKEN
+++ /dev/null
@@ -1 +0,0 @@
-(Nothing is broken at the moment AFAIK.)