The point was that you can often convert nested loops into two loops that are not nested. O(2n) conveys that, O(n) does not.
O(2n) is not an abuse of notation. It's just as well defined as O(n). The fact that O(2n) is a subset of O(n) is a theorem, not part of the definition of the notation.