Я хотел бы использовать модуль печати GeoServer, чтобы экспортировать карты в виде файлов PDF, но я не знаю, с чего начать. Пример сайта в официальной документации GeoServer не работает, потому что отсутствует файл SimplePrint.js. Поскольку файл отсутствует, я не могу понять, как я должен использовать плагин для экспорта карты в PDF. Заранее спасибо за помощь!