Yep, the filter list in Gmail's settings is empty.