Rxhtml now recognised as a file extension for xhtml output