You can now activate and deactivate patterns and modes. pretty-symbols aren't precompiled any more.