Clean the repo a bit and improve some Readmes

design_notes/KNOWN_BUGS

@@ -1,6 +0,0 @@
-- By referencing networks only using name, we can end up with several stubnets
-  rendering as one node if they share the address. This is the case when a
-  network split occurs and at least two routers in the same transit network get
-  isolated.
-
-  We only support OSPFv3 at this time.

design_notes/README.md

@@ -1,8 +1,11 @@
 A few files related to the design. Currently notes for myself, which do not
-necessarily make sense without implicit context.
+necessarily make sense without implicit context. Sometimes obsolete, but I am
+not yet sure what is safe to drop.
 
 One day, we should have a proper `docs` directory with coherent documentation.
 
+Feel free to read this though. And maybe even implement :-)
+
 ---
 
 > Great design requires great workarounds.

reference.ospf

@@ -1,141 +0,0 @@
-BIRD 2.0.9 ready.
-
-# Positions generated by graphviz (extracted from
-# `./snippets/test_diff.py dot` with `-Tdot` backend)
-
-# Also, we now support comments :-)
-
-area 0.0.0.0
-
-	router 172.23.100.1
-		distance 30
-		network [172.23.100.4-3] metric 10
-		network [172.23.100.10-2] metric 10
-
-	router 172.23.100.2
-		distance 30
-		network [172.23.100.6-3] metric 10
-		network [172.23.100.10-2] metric 10
-
-	router 172.23.100.3
-		distance 40
-		network [172.23.100.8-3] metric 10
-		network [172.23.100.4-3] metric 10
-
-	router 172.23.100.4
-		distance 40
-		network [172.23.100.7-3] metric 10
-		network [172.23.100.4-3] metric 10
-
-	router 172.23.100.5
-		distance 40
-		network [172.23.100.8-3] metric 10
-		network [172.23.100.6-3] metric 10
-
-	router 172.23.100.6
-		distance 40
-		network [172.23.100.7-3] metric 10
-		network [172.23.100.6-3] metric 10
-
-	router 172.23.100.7
-		distance 50
-		network [172.23.100.9-2] metric 10
-		network [172.23.100.7-3] metric 10
-
-	router 172.23.100.8
-		distance 50
-		network [172.23.100.9-2] metric 10
-		network [172.23.100.8-3] metric 10
-
-	router 172.23.100.9
-		distance 60
-		network [172.23.100.9-2] metric 10
-
-	router 172.23.100.10
-		distance 20
-		network [172.23.100.10-2] metric 10
-		network [192.168.15.1-10] metric 10
-
-	router 192.168.15.1
-		distance 0
-		network [192.168.15.7-24] metric 10
-		network [192.168.15.1-10] metric 20
-		stubnet 192.168.101.0/24 metric 10
-			# stubnets are only here, so need to be configured here
-		stubnet 192.168.201.0/24 metric 10
-
-	router 192.168.15.7
-		distance 10
-		network [192.168.15.7-24] metric 10
-		stubnet 192.168.15.0/24 metric 10
-		stubnet 192.168.0.0/24 metric 20
-		stubnet 192.168.42.0/24 metric 20
-		external 0.0.0.0/0 metric 50
-
-	router 192.168.15.10
-		distance 10
-		network [192.168.15.7-24] metric 10
-		external 0.0.0.0/0 metric 300
-			# Already positioned, so nothing allowed here?
-
-	router 192.168.15.11
-		distance 10
-		network [192.168.15.7-24] metric 10
-		external 0.0.0.0/0 metric 300
-
-	network [172.23.100.4-3]
-		distance 40
-		router 172.23.100.4
-		router 172.23.100.1
-		router 172.23.100.3
-		address 172.23.4.0/24
-
-	network [172.23.100.6-3]
-		distance 40
-		router 172.23.100.6
-		router 172.23.100.5
-		router 172.23.100.2
-		address 172.23.5.0/24
-
-	network [172.23.100.7-3]
-		distance 50
-		router 172.23.100.7
-		router 172.23.100.4
-		router 172.23.100.6
-		address 172.23.3.0/24
-
-	network [172.23.100.8-3]
-		distance 50
-		router 172.23.100.8
-		router 172.23.100.5
-		router 172.23.100.3
-		address 172.23.2.0/24
-
-	network [172.23.100.9-2]
-		distance 60
-		router 172.23.100.9
-		router 172.23.100.7
-		router 172.23.100.8
-		address 172.23.1.0/24
-
-	network [172.23.100.10-2]
-		distance 30
-		router 172.23.100.10
-		router 172.23.100.1
-		router 172.23.100.2
-		address 172.23.6.0/24
-
-	network [192.168.15.1-10]
-		distance 20
-		router 192.168.15.1
-		router 172.23.100.10
-		address 172.23.7.0/24
-		address 192.168.101.0/24
-
-	network [192.168.15.7-24]
-		distance 10
-		router 192.168.15.7
-		router 192.168.15.10
-		router 192.168.15.11
-		router 192.168.15.1
-		address 192.168.16.0/24

visualisation.ospf

@@ -1,84 +0,0 @@
-visualisation
-
-	router 172.23.100.1
-		position 0 1300
-
-	network [172.23.100.10-2]
-		# future syntax idea:
-		#label hello
-		#polyline [0 0] [2 2] [3 3]
-
-	router 172.23.100.2
-		position 400 1300
-
-	router 172.23.100.3
-		position 300 1800
-
-	router 172.23.100.4
-		position 0 1700
-
-	router 172.23.100.5
-		position 400 1700
-
-	router 172.23.100.6
-		position 300 1600
-
-	router 172.23.100.7
-		position 0 2100
-
-	router 172.23.100.8
-		position 400 2100
-
-	router 172.23.100.9
-		position 200 2500
-
-	router 172.23.100.10
-		position 200 900
-
-	router 192.168.15.1
-		position 200 700
-
-	router 192.168.15.7
-		position 400 200
-
-	stubnet 192.168.15.0/24
-		router 192.168.15.7
-		position 600 300
-	stubnet 192.168.0.0/24
-		router 192.168.15.7
-		position 600 200
-	stubnet 192.168.42.0/24
-		router 192.168.15.7
-		position 600 100
-	external 0.0.0.0/0
-		position 200 0
-
-	router 192.168.15.10
-		position 0 200
-
-	router 192.168.15.11
-		position 200 200
-
-	network [172.23.100.4-3]
-		position 0 1500
-
-	network [172.23.100.6-3]
-		position 400 1500
-
-	network [172.23.100.7-3]
-		position 0 1900
-
-	network [172.23.100.8-3]
-		position 400 1900
-
-	network [172.23.100.9-2]
-		position 200 2300
-
-	network [172.23.100.10-2]
-		position 200 1100
-
-	network [192.168.15.1-10]
-		position 200 800
-
-	network [192.168.15.7-24]
-		position 200 500