* small improvements to my themes:
   - they now use 'discussion_num_filtered()' to display the number
     of filtered comments.