sorry but I have not found an email address to send this request to.
It seems that I have lost my credentials for logging into the support site…
Can you merge
Charles-23991, and importantly its link to my GitHub account, into
7857, which has all of my past history ?