Two additional judges of the Delhi High Court — Justices Shailender Kaur and Ravinder Dudeja — were also elevated as judges, or what is commonly called 'permanent' judges