I didn't mention coder because I haven't actually used it, so any comments I make on it wouldn't be based on my experience, and my goal with the article was to

I didn't mention coder because I haven't actually used it, so any comments I make on it wouldn't be based on my experience, and my goal with the article was to give you a realistic view of what its like to use both Github Codespaces and/or Gitpod.