Done.
I had at one time advocated using either dash or underscore and not both to keep things simple and standard and prevent typos. Since by far most folks use dash, that seemed the logical choice. Though use of a dash is my preference for the entire extension name, the -dev and -doc and -locale part of the name most certainly should be dash only.