Переименование всех файлов в форме * .extension. {Index} в * _ {index} .extension

Question

Этот вопрос связан с этим вопросом в Unix & Linux SE.

У меня есть несколько файлов с именами файлов в форме * .pdf. {Index} (имена файлов из-за wget), которые я хотел бы переименовать в * _ {index} .pdf. Другими словами: file.pdf.1 должен быть переименован в file_1.pdf и так далее.

Я знаком со сценариями оболочки (Ba)sh, но не со сценариями оболочки Windows. Я пытался начать с

for %%f in (*.pdf.?) do (
    echo %%f
    (whatever)
)

но это, кажется, соответствует даже файлам типа «test.pdf», которые не имеют ничего после расширения, и я не могу понять, как извлечь целую часть отдельно. Предложения будут оценены.