This is the second beta of 0.12.0, which is a port of Pan 0.11.3
to gtk2.  The port adds better charset/internationalization support,
fewer library dependencies than 0.11.3, usability improvements,
and bugfixes.