THObserversAndBinders submodule has been removed.