Grid minor in digraphs
There is a new preprint by Stephan Kreutzer and Ken-ichi Kawarabayashi, in which they apparently show that the statement (5.1) is true for all digraphs.

Stephan Kreutzer and Ken-ichi Kawarabayashi: The directed grid theorem.    arXiv:1411.5681 [cs.DM]  

EDIT (June 16, 2015):

A short version of their paper appears here:

Ken-ichi Kawarabayashi, Stephan Kreutzer. The Directed Grid Theorem. In: Rocco A. Servedio, Ronitt Rubinfeld (eds.), Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing 2015. pp. 655-664