In my experience, when people say "dedicated server" they typically mean something like OVH rather than a real "cloud" provider (AWS, GCP, Azure, etc.). In other words, something morally equivalent to colo but without having to ship servers around.
Yes, that is likely the case here as well. But if someone is not well versed in cloud providers and reads these comments, they might be misinformed without clarifying that this issue is AWS vs other providers, as opposed to dedicated vs shared resources.
