I've just returned from a three-week sabbatical, and I decided to start fresh by deleting my entire Ignore list; I've found out though that I cannot remove users who have since been banned, which is slightly annoying.