bd16a37
update.py: add type annotations As an experiment, add type annotations to allow more extensive checking via mypy.