Is it normal that I can add any text in the "Favorite Tags" section, even something which isn't actually a tag? I can even add duplicate entries! Is this a bug, or will it work if I add "Hello World!" there as my favorite tag? And, if it will work, how exactly would it work? What kind of kind of Qs or As will this help me highlight?