devtools

Update the devtools_extensions readme discord instructions

#6594

Merged