The repository size has since become calculated (and cached) more
intelligently, and this should no longer be necessary.