Fixed #21710 -- Documented User.get_short_name()

Thanks Keryn Knight for the report.