1.7.20 is a maintenance update
Fixed a bug in migration system that could cause Texpad to repeatedly ask for revalidation of certificates in rare circumstances.