+ MSG:
+ * [FIXME: elaborate] Merge branch hypervisor
+
+ SURF:
+ * [FIXME: elaborate] Rewrite Surf in C++
+
+ Build System:
+ * Supernovae build mode is definitively removed. It was used to improve
+ inlining and inter-module optimizations. It is nowadays superseded by
+ link-time optimizations commonly available in compilers.
+