That's how I would do it as well, but that doesn't mean that Audacity's developers do.