Btw., this is currently 5 minutes, not 15 minutes (dito below). I wonder whether we should leave it hardcoded forever though.