The tag alias #75034 bad_pun -> pun has been approved.
Reason: Since there can't possibly be a bad pun (because all puns are bad), a bad pun is just a pun.
EDIT: The tag alias bad_pun -> pun (forum #437545) has been approved by @spe.
Updated by auto moderator