Change Details

Conceptually, there is a lot of overlap between #symbols and #diviner. I think that at some stage we should probably consolidate these two applications (well, #symbols isn't really an application).