1<!DOCTYPE html>
2<html>
3<head>
4  <meta charset="utf8">
5  <meta http-equiv="content-type" content="text/html;charset=utf-8">
6  <meta http-equiv="refresh" content="1; url=jsoncstyleguide.xml">
7  <title>Redirecting</title>
8</head>
9<!-- The BODY onLoad redirect is the best: it preserves #fragments and
10     ?queries.  But it requires javascript.  If that fails, the
11     meta-refresh kicks in; it works more generally, but loses fragments
12     and queries, takes a second, and pollutes the browser history.
13     If they both fail, we let the user manually click on the new link.
14-->
15 <body onload="location.replace(location.href.replace('.html', '.xml'))">
16  Redirecting you to <a href="jsoncstyleguide.xml">jsoncstyleguide.xml</a>.
17</body>
18</html>
19