Tag alias: outside_of_border -> outside_border

create alias outside_of_border -> outside_border

Link to alias

The shorter form seems better; alias #8602 will need to be changed, too.

Or at least the other way around, if you disagree.

RaisingK said:

alias #8602 will need to be changed, too.

I fixed that bug, so aliases/implications like that don't need to be moved manually anymore. If this new alias from "outside_of_border -> outside_border" was approved, alias #8602 would automatically be updated to be "out_of_border -> outside_border".

Done