No matches were found for subject:"\[sqlite\] How to determine when to VACUUM\?"