doc: Fix DefaultSettings's assertions about possible extension types