This request has been completed.
I don't know how to change the status and inform the requester. —The preceding unsigned comment was added by JWagner (talk • contribs) on 15:19, 18 November 2018.
Thank you for spotting this. I've completed the page. Claude (talk) 15:56, 18 November 2018 (UTC)