set small priority for devhelp hover provider

so it shows as last element on the popover, so rest of hover providers can still be visible when devhelp hover provider exhibits #671 (closed) issue.