Document 'default-toplevel-value' and 'set-default-toplevel-value'