jayvdb added a comment.
An alternative is to use JSON to store the whitelist (https://phabricator.wikimedia.org/T95143), which would be an extension of Load the settings from wiki https://gerrit.wikimedia.org/r/#/c/201446.
TASK DETAIL https://phabricator.wikimedia.org/T95142
REPLY HANDLER ACTIONS Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign <username>.
EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: XZise, jayvdb Cc: pywikipedia-bugs, XZise, Ricordisamoa, jayvdb, Aklapper