<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<font face="FreeSerif">github release process automatically produces
tarfiles, zip and tar.gz.<br>
Yet our release machinery also produces tarfiles, tar.gz and
tar.xz.<br>
Why?<br>
</font>
</body>
</html>