20191213 india: Drop Rajiv Gandhi from name of campus; suggests BHU panel