discussion widget: better search input + filterTopics is case insensitive
discussion widget: better search input + filterTopics is case insensitive

LivelyKernel/lively.morphic,LivelyKernel/lively.morphic