Remove usage_activity_by_stage_monthly.create.action_monthly_active_users_web_ide_edit RedisHLL metric

usage_activity_by_stage_monthly.create.action_monthly_active_users_web_ide_edit shortened to action_monthly_active_users_web_ide_edit and redis_hll_counters.ide_edit.g_edit_by_web_ide_monthly shortened to g_edit_by_web_ide_monthly to improve readability below.

Within #382875 (comment 1208716323) we discovered that create.action_monthly_active_users_web_ide_edit is a duplicate of g_edit_by_web_ide_monthly. Since g_edit_by_web_ide_monthly is also sent to Snowplow and generally more up to date, we'd ideally like to remove action_monthly_active_users_web_ide_edit in favor of using g_edit_by_web_ide_monthly everywhere.

We verified within https://gitlab.com/gitlab-data/analytics/-/issues/15266 that the metric is no longer used in any dashboards:

We should follow the docs to remove the metric.