[1.5.x] Fixed #21710 -- Documented User.get_short_name()

Thanks Keryn Knight for the report.

Backport of 0150830687 from master