Обнаружил, что, если зайти на https://<ip сервера>:8080/office-server/firsttime, то после ввода пароля рута, предлагается изменить настройки, которые вводились при первом входе. Попытка изменения домена и последующий анализ /etc показала, что кое-где всё-таки остаются предыдущие настройки (старое имя домена)...