I should get around to configuring continuous integration for the documentation, to always keep it in-sync.