Merge branch 'MP_add_redirection' into 'develop'

Add redirection to old add-edit How-to card

See merge request !508

external/contribute/web-ide/web-ide.md

@@ -7,6 +7,8 @@ redirect_from:
   - /external/cards/contribute:web-ide
   - /contribute/web-ide
   - /external/external/contribute/web-ide/
+  - /cards/contribute:add-edit-card
+  - /external/cards/contribute:add-edit-card
 ---
 
 # Contribute using Gitlab Web IDE