Subject: bug#52968: Make alias shortdoc for shortdoc-display-group?

From: Stefan Kangas <[email-masked]>
Date: Sun, 2 Jan 2022 17:53:59 -0500

Severity: wishlist

Any objections to adding a convenience alias `shortdoc' for
`shortdoc-display-group'?