in tools/rfc-render/render-rfc-table.js [43:58]
function renderUser(user) {
if (!user) {
return '';
}
if (user.startsWith('@')) {
user = user.substring(1);
}
user = user.trim();
if (!user) {
return '';
}
return `[@${user}](https://github.com/${user})`;
}