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.
