pub const CHECK_INTERVAL: Duration;
Once an hour: releases are rare, and the unauthenticated GitHub API allows sixty requests an hour per IP — one of them is ours.