We both into predicting the future here, and I would be delighted to offer a wager as to which of us proves correct, but neither of us will be around to collect.

We will not need an Aeterni Patris bis to correct HV. Indeed, a very solid case can be made that HV can not be regarded as authentic teaching since it very clearly was not, is not, is is not likely ever to be accepted by the Church, understanding Church as defined by V2 as the Holy People of God. 

The sensus fidelium as a theological principle is not a myth. It just that the Western Church does not have a living memory of the fact that an episcopal synodal decree in favour of inconoclasm was overturned by a later synod against because the people would not accept the first synod. 

Eventually that important gem in our Tradition will be replaced by HV as the example par excellence of the requirement that doctrines pronounced by popes and bishops  must be accepted by the Church in order to become orthodoxy.

Yeah, you disagree.