It's official: CMU is using NOVID!