On Mon, Jul 17, 2017 at 12:48:34AM +0200, Enrico Forestieri wrote: > ATM, in no way you can risk > something if you decide to use minted. You would have to know what to > change in the preferences for taking that risk. On the contrary, when > using one of the above mentioned features, the risk is at the tip of > a mouse click.
+1 Scott