Handle observables and fires augments in plugins

This makes it easier to switch themes.
Switch to the Jaguar theme

In addition to a nicer layout, this adds a searchable sidebar
and a source code viewer.