Same extension as basic and full HTML, this could be problematic and confusing for new users...