Addressing #57

. . . where a setting was added to control the formatting of user names
in mentions.