XSLT

そういえば上の調査の途中Operaのサイトに立ち寄ったんですが、よく見るとページの拡張子が*.dmlになってます。別に拡張子なんて飾りなのでどうでもいいんですが。
ソースを見ると、どうやらXSLTから生成してるようです。区別のために拡張子を変えてあるのかな。