Hello everyone,

I would like to propose adding extract_top() method to
std::priority_queue backed by a set of freestanding functions in
<algorithm> header.

The initial proposal was posted to the mailing list earlier
(https://lists.isocpp.org/std-proposals/2025/07/14326.php) and didn't
meet blocking objections. So I prepared a PDF with stricter formatting
and wording as suggested on "How to Submit a Proposal" page.

Thank you in advance for any feedback.

---
Best regards,
Aleksei Sidorin.