v8.4: Fixing coqdoc bug #3292 (unfortunate collision betweens the
relative locations found when parsing expressions in comments and the
absolute locations in the glob file).

As now, the glob file does not parse comment, so I removed the test
for location when parsing expressions in comments, which anyway are
not linkable, precisely because not parsed by coqc.