@dkf I think it's always been pretty clear that 'SQL Server' is Microsoft SQL Server, that's the name of the product and so is accurate. AFAIK, there is no other RDBMS called 'SQL Server'.
Microsoft was smart as now when people use SQL Server as a more general term, other people may just assume they mean Microsoft.