Hm, I guess there have been quite a few changes. Most I knew about, but what does `-typecheck expert' do, and what does `-keep dot' do?