Standard file naming for extensions, support of \(…\), \[…\] and \begin{foo}…\end{foo}, fix W3C issue.