Субъект в значительной степени говорит обо всем. В Jupyter Hub (а также на предыдущем сервере ноутбуков) в меню «Файл» имеется опция экспорта в PDF. Если у вас не установлен xetex или аналогичный, он сломается. Я хотел бы отключить этот пункт меню стандартным способом (то есть, не разветвляя кодовую базу!).
Могу ли я сделать это? Если так, то как? Если нет, то насколько сложно было бы реализовать для этого патч?