Polish PriorityQueue documentation.