More on #361: enumerate new-style flask extensions.