Оказалось, что я искал «customize text howto», а не «customize text how-to».
Как-то так вышло, что за 7 лет я так и не усвоил это. Если бы было возможно сделать так, чтобы #howto был синонимом #how-to, это могло бы помочь некоторым людям. Но если вы проявите терпение и просто введёте «#how», система предложит правильный тег. Так что, возможно, это пример того, как некоторым людям просто не помочь.
Я делаю смелое заявление howto — это не синоним how-to. Это отдельный тег.
Я был совершенно неправ, по-моему. Я попробовал на своём форуме, и поиск не распознаёт синонимы (…больше; я почти уверен, что раньше ситуация была иной)