Add minted setting (not working, though)