add info on extensions in dita-ot