BUR #52086 has been approved by @nonamethanks.
create alias happy_trail -> navel_hair
The slang term is probably a lot more well-known than the tag name we have here. I wouldn't object to flipping this, though the tag name right now feels more consistent with other body hair tags.
Should an abdominal hair alias also be made?