I also found elsewhere more instructions on how to report problems with official servers. The page was titled “How to report players, clans, exploits, or connectivity issues on any of our Official Servers” and used a different form that did not generate a topic here. If I get any direct messages through that source I will update this topic.