hard listings hard pgfopts hard tcolorbox soft etoolbox soft docshots soft environ soft href-ul soft hypdoc soft iexec soft l3build soft libertine soft mathtools soft microtype soft pdfcrop soft pgf soft pgfopts soft scheme-basic soft tools soft xetex soft fvextra soft upquote