Option to use Discord mentions for attendee lists

Using mentions is quite handy, as they link directly to the user’s Discord profile.

While we don’t want to use mentions by default due to some inconsistencies, some users are happy to work around these inconsistencies.