Does whatever form of "HP" still actually manufacture laptops, or is the name just licensed out now? Haven't followed or looked at HP laptops in forever..