diff --git a/Spec/vere/stage.txt b/Spec/vere/stage.txt
deleted file mode 100644
index ea5e4487f..000000000
--- a/Spec/vere/stage.txt
+++ /dev/null
@@ -1,31 +0,0 @@
-To stage down from X to Y == (X - 1), steps:
-
-  Clean hoon parts:
-
-    - cp -r lib/X lib/Y
-    - select kernel name in Y:
-        hoon.hoon (regular)
-        tram.hoon (genetically incompatible with stage X)
-        test.hoon (barebones testing)
-
-    - rm lib/Y/hoon.pill
-    - git add lib/Y/*.hoon
-    - git add lib/Y/arvo/*.hoon
-    - update stage number in lib/Y/hoon.hoon
-
-  Ugly jet parts:
-
-    - make clean; cp -r genX to genY;
-    - git add genY/*.c genY/*.h genY/*/*.c 
-    - update genY/pit.h  (7 subs)
-    - add genY/ofiles in Makefile 
-    - link j2_da drivers in v/main.c
-    - (optional) trim old stages
-      - update FirstKernel in include/v/vere.h
-      - update Pt* in f/coal.c (5 subs) and f/trac.c (2 subs)
-      - remove .o files from Makefile
-
-  Convenient symlinks:
-    - kernel letter L is `@ta`(add 'a' (sub 25 (mod (add 8 Y) 26)))
-    - ln -s C/sys/Y sL
-    - ln -s genY kL
diff --git a/doc/atoms.txt b/doc/atoms.txt
index 3c9af1678..866f81168 100644
--- a/doc/atoms.txt
+++ b/doc/atoms.txt
@@ -7,6 +7,13 @@ Many of these named types can be invoked in batz with `@type`. For example:
 21
 ~sovreb-padlev/try=> `@p`21
 ~peg
+~sovreb-padlev/try=> `@if`432.542.653.543
+.181.141.28.103
+
+Notice that Integers are seperated with a decimal point between every three
+digits, the German syntax.
+
+
 
 Name   Definition     Example as printed             Comment
 -------------------------------------------------------------------------------
diff --git a/extras/extras_README b/extras/extras_README
new file mode 100644
index 000000000..6c85a26fc
--- /dev/null
+++ b/extras/extras_README
@@ -0,0 +1,3 @@
+Extras Readme
+
+This folder is for all the useful, but not strictly essential, stuff for developers.