Discussion between Raphael and Georg Zetzsche

Imported from a comment discussion on http://cs.stackexchange.com/questions/60721/can-there-be-a-context-sensitive-pumping-lemma/60791#60791