So let's just recap your position: 1) Leaking stale locks is too important of an issue to land the patch 2) Leaking stale locks is OK for the global pants lock