Seems Gmail has a new — don’t know since when — feature for filtering message. Now when you open a message, you can directly filter the message.