devtools

c41dff2c - Link to devtools-extension-authors discord channel in readme (#6514)