Yep! I'm guilty of continuing to use the double-colon separators to this very day. Just shipped an internal app for my company a few months ago that utilizes them in page titles.