No. Trash dev instead. It seems to be used as an abbreviation for two unrelated subjects:
- devices (about 10)
- development (about 5)
So, let's just trash the dev tag and retag the maybe even four real development questions. The use of dev for devices does not make sense to me. I do understand new users seeing
/dev/sda and thinking 'dev' would be a nice tag...
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.