doc: Fix DefaultSettings's assertions about possible extension types

Change-Id: I79f0b6dab93272682157e2a0dcd727f14f7285e9