Usage Ping: Remove `app_server_type` element
In #219114 (closed) we fixed the problem that the current app_server_type
is not correctly reported (see issue for details.) The MR for the fix is here: !35618 (merged). With that change we are also changing this element structurally and move it out of the top-level usage ping object and into the topology
element, where we can track it per every web server node.
Once that issue is closed, we should remove the existing app_server_type
element both from code and documentation.
Edited by Matthias Käppler