adds a hidden site setting, "prioritize_full_names_in_ux", whose effect is to prefer full names in user-menu notifications Co-authored-by: Mark VanLandingham <markvanlan@gmail.com> Co-authored-by: Alan Guo Xiang Tan <gxtan1990@gmail.com>