Vrui upgraded to version 3.0-002