Jorge Castro has added dev as a synonym of development. Users with a score of five in the development tag can vote for it here
While this isn't the answer everyone would like, (seeing gertvdijk's answer has 15 upvotes), but nothing else has been done about it so I think this is the best solution at the moment.
