Zork name origin got an update on Wikipedia