Fix: mute filter works incorrectly.

Close #136.
Implement database auto-trimming feature.
Increment revision.