Как оказалось, пример из документации прекрасно работает.
Я запускал сервер для разработки с помощью команды:
npm run serve
оставлял его запущенным, смотрел результаты изменений конфигурации в браузере. Но нужно, оказывается, после каждого внесения изменений в конфигурационный файл останавливать сервер и запускать его снова.