Apologies for the multiple closed pull requests, I am still learning a few things.
I tried submitting this pull request by first making the changes in my fork on my local computer using Git, but this resulted in the commit being unverified. Until I set up a GPG key on my local Git, I will use the GitHub interface where the commits are verified. I made the commits again in a new fork using the GitHub interface, in #1067.
Apologies for the multiple closed pull requests, I am still learning a few things.
I tried submitting this pull request by first making the changes in my fork on my local computer using Git, but this resulted in the commit being unverified. Until I set up a GPG key on my local Git, I will use the GitHub interface where the commits are verified. I made the commits again in a new fork using the GitHub interface, in #1067.