Have projects import trimmed URIs

[philderbeast]

Fixes #10622. Trims URIs before parsing them with parseURI. If any project config path doesn't equal its trimmed self then it is displayed quoted so that the whitespace is obvious.

---

Template Α: This PR modifies behaviour or interface

Include the following checklist in your PR:

• Patches conform to the coding conventions.
• Any changes that could be relevant to users have been recorded in the changelog.
  • Is the change significant? If so, remember to add significance: significant in the changelog file.
• The documentation has been updated, if necessary.
• Manual QA notes have been included.
• Tests have been added. Yes doctests and cabal-testsuite tests.

[ulysses4ever]

Will need a changelog but otherwise it looks like the right direction overall.

[geekosaur]

Huh. First time I've seen RTD fail that way.

[philderbeast]

Huh. First time I've seen RTD fail that way.

And I didn't change the docs. @geekosaur, other CI jobs I can restart but not that one.

[geekosaur]

That's normal, since RTD isn't actually part of GitHub Actions. You'll need to change something somewhere to trigger a new build, though. (You may want to hold off a bit though, to let RTD fix whatever's wrong on their end.)