20201207 india: Digital makeover turns back time on Ajanta's 5th century murals