List old-style flask extensions, too.