That makes sense. Also (and I realise this is a bit less deep than undecidable grammar) I've certainly seen LaTeX documents with so many random macros that I don't recognise the content of it at all! I'm sure we've all come across those. I can understand why a program wouldn't stand much of a chance.
Personally I never really needed LaTeX import so I don't really see it as a problem, but I know it matters to some people.