> Also, the list of formats enabled by default given in the "Configuration" section differs from DefaultSettings.php.
Thank a lot: Good find! I just updated according to "DefaultSettings.php" in current master.
[[kgh]] (talk)