This page currently (Jan 2017) shows an extension in the taisha joseki and calls it a pull. I've never heard anyone describing this movement as a pull. For me, pulling out stones would only be used to refer to the rescue of a weak/unsettled group, or the hiki.

What do others think?