@shuro Doing some housekeeping from time to time is a good idea in any case.