Persistent priority queue (#7252) - Basecamp