val_013, это наша недоработка. Даже можно сказать моя.
Я вовремя не проконтролировал, что плагин обозвали "Сервер 3.7.0", хотя он никаким местом сервером не является (точнее, это диспетчерский кусок от сервера). Отсюда возникла некрасивая путаница понятий.
Сейчас я переименовал эту штуку в плагин + попросил добавить его в комплект к серверу 5.х.