better use the actual `extractAll` for Python 2.5 and up?