With no official confirmation of either title, "HL3" has come to refer to whatever is next in the series. I've seen tons of comments across different sites that continue to "correct" this but I really don't think it is a distinction that needs to be made.