Gwern Branwen wrote: > If it defaulted to False, I'm not sure a flag would be such a bad > approach. But let's see what others have to say. Yes, but a user would still have to recompile xmc manually which might be less comfortable than (cabal-)installing another package.