diff --git a/BadThings.adoc b/BadThings.adoc
index 2c9ba3a..2b7ee34 100644
--- a/BadThings.adoc
+++ b/BadThings.adoc
@@ -26,6 +26,12 @@ because variable pitch fonts are infinitely more pleasant to read.
 
 The only redeeming quality is how well these work over slow links.
 
+Pop-ups
+-------
+Anything that shows up and changes the consequences of the user's actions, if it
+doesn't appear as an _immediate result_ of the user doing something, is pure
+evil.  Sadly, this is sometimes hard to avoid, or the cost is too high.
+
 ASCII
 -----
 Outdated, made for teletypes.  Unicode mostly just adds more complexity (and
@@ -35,7 +41,7 @@ I don't like, perhaps even banning certain characters where possible.
 Centralisation
 --------------
 Try to build things so that they survive outages--resilient, robust, and even
-anti-fragile.  Admittably, this principle is hard for humans to follow.
+anti-fragile.  Admittedly, this principle is hard for humans to follow.
 
 Speaking of which, project Haven has no public mirrors yet.  Not that it matters
 thus far... but eventually we should at least set up mirrorring to repo.or.cz,
diff --git a/GoodThings.adoc b/GoodThings.adoc
index c01b377..b8712fc 100644
--- a/GoodThings.adoc
+++ b/GoodThings.adoc
@@ -93,9 +93,21 @@ I despise Markdown for its choices, and I don't want to suffer while writing.
 Granted, I can see some faults in AsciiDoc as well, notably with how hard it is
 to parse and process, but I haven't found anything better yet.  One day I might
 create a processor for a slightly modified subset of it.  Until then,
-libasciidoc is what I'll be using for all markup.
+libasciidoc is what I'll be using for all markup, and I'm immensely thankful to
+its authors for their work.
 
 Plan 9, Go
 ----------
-Pervasive simplicity.  Sometimes it's annoying but overall you get the feeling
-you have the entire platform under your control.
+Pervasive simplicity.  Sometimes it's annoying (one could say '`misplaced`')
+but overall you get the feeling you have the entire platform under your control.
+
+Oberon OS
+---------
+An exercise in vertical integration, going as deep down as the CPU.
+Also something completely different from what you can find today, exploring
+a new way of controlling the computer.
+
+Smalltalk
+---------
+The application is a live system, powered by a simple programming language.
+You can change anything you want, and see the results instantly.