When nothing can be colorized due to missing locations (e.g. lemmas), fallback on colorizing the identifier.
When nothing can be colorized due to missing locations (e.g. lemmas),
fallback on colorizing the identifier.

douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,ssaavedra/why3,jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3,jpdeplaix/why3,douglas-larocca/why3