Version 1.0.0 => 1.0.2

If you're wondering where 1.0.1 went, I lost the (minor) commit bumping the
version number to 1.0.1 on some repository because I forgot to upload it to
Github.  However, no substantial code was lost.