Update redlist.txt for an example