On 2020-Nov-18, Magnus Hagander wrote:
> It would be trivial to change this so that it only actually updates
> pages if they have been changed.
I think this means we could also check much more frequently whether a
rebuild is needed, right? We could do that every 30 mins or so, since
most of the time it would be a no-op.