On Friday, August 22, 2025, Kirill Reshke <
reshkekirill@gmail.com> wrote:
We can also do ABORT;
Listing commands described as being “present for historical reasons” in the documentation seems unnecessary. We don’t list abort in the “See Also” section either.
David J.