ભૂપેશ બધેલના નામ પર લાગેલ અંતિમ મોહર, ઔપચારિક એલાન બાકી