convert.py: it is much better if we filter out the RETIRED addresses sooner rather than later