Deletion of Mozdev.org

Comment: Mozilla.org redirects to Mozilla Foundation. Maybe this should do the same? There are technical details on using the infrastructure on mozdev in the ''Creating Applications with Mozilla'' O'Reilly book, but all that is technical stuff (setting up certificates, etc.) so this will likely remain a permastub per 
Stance: comment
Cited policy: Wikipedia:What Wikipedia is not (WP:NOTTEXTBOOK)