This is different, as sed is the proper name of the program (and just happens to be an acronym as well.) awk, while also being a stream editor, is not "a SED".

Anyway, complaining about redundant use of acronyms is IMO pointless and needlessly prescriptive. Language is a fluid thing.