* [admin-panel] Change format of restored snapshot filenames * [scripts] Change format of restored soft-deleted filenames GitOrigin-RevId: b928c4237150b38842aa1f2c8f43ffb7eca677b1
[scripts] restore_soft_deleted_docs: port the script from the dev-manual GitOrigin-RevId: e445cfad0d0f04275b3899c34b7963ddb29d4444