devtools

4ff58bbb - Update the devtools_extensions readme discord instructions (#6594)