Thanks! Just pushed a new update to add your first suggestion. Check for updates in Add-ons manager!

About the second one, it's a good idea but I couldn't find any way to open Devtools using the API. I'll add it if I find a way to do that.