add flask docset again