Stefan Holdermans authored Apr 21, 2020 and Marge Bot committed May 21, 2020

This patch adds the fixes that allow for file names containing spaces to
be passed to GHCi's ':script' command to the release notes for 8.12 and
expands the user-guide documentation for ':script' by mentioning how
such file names can be passed.

Related to #18027.