Docked dev tools is in active development at Vivaldi at the moment, so fingers crossed it will be included in an upcoming release. It's easily one of the most requested features we get, understandably, and definitely not being ignored. :)