Переименовать папку "tools" на "web-platform"

[Denis-GH]

Я когда пытался найти файлы раздела "веб-платформа" - не сразу понял, что они находятся в папке "tools". Подумал, что это как-то странно и только потом узнал, что этот раздел раньше так назывался. Кароч предлагаю актуализировать название папки

[TatianaFokina]

@igsekor, кажется, и правда было бы не так плохо переименовать. Я сама путаюсь. Но вопрос к тебе: насколько сложно будет настроить редирект и вот это всё?