As additional comment:

the initial intent for [temp.type]-p5 was likely to exclude template
template parameters pack,

but by then I see from [dcl.type.pack.index] that pack-index-specifiers
seems intended to be only for type packs, not for template packs.