Changes

Mission (dining hall) moved to Mission Dining Hall: it's actually called Mission Dining Hall, not Mission (dining hall) -- the disambig page is for that