BUR #22531 has been approved by @nonamethanks.
create alias finger_in_another's_navel -> navel_fingering
create alias belly_poke -> poking_belly
Duplicate tags.
I chose navel_fingering as it accounts for cases like post #6238830, where the navel is being fingered but no insertion is taking place.