Sayyid Muhammad Mahmúd, High Court judge, at Allahabad