With timers now being locked, we don't need this writelock anymore.
Dead include pruning...