BUR #21983 has been approved by @nonamethanks.
remove alias lava -> molten_rock
create alias molten_rock -> lava
create alias molten_rock_bath -> lava_bath
Previous topic #5541
This alias has always annoyed me, it really stinks of "Actually...". Who even casually calls it molten rock as opposed to lava or magma?
Also I couldn't remember if you can just reverse alias when a tag has multiple aliases to it so I included the first line.