A Munro top is not a Munro. Whilst it's worth discussing whether munro_top or munro:top=yes or munro=top are sensible tag choices, changing a tag so that the meaning is incorrect doesn't help overmuch.