BUR #6478 has been approved by @evazion.
create implication dilation_tape -> tape
Dilation tape is a tape (as implied by its name).
Also there are already many posts that use dilation tape with the tape tag. It will be nice for posts with “dilation tape” but not “tape” to have “tape” for consistency.