At any rate, the moniker "AR-15" is now an exclusive Colt trademark and refers ONLY to the Colt civilian product. Any copies of the Colt rifle should technically be referred to as "AR-15 type" weapons. Oddly, Aramalite is still around but no longer has the use of the AR-15 name. They still make the AR-10.
You have stated correctly indeed. Whilst “AR” does mean “Armalite Rifle”, Armalite no longer owns the rights to the term, “AR-15”. All of their 5.56mm NATO - .223 Rem rifles are named variously under their M-15 models.