Is the file's extension really ``.xsl.xsl``?