I don't think anyone sells straight menthol ejuice (maybe they do, but I don't see how it would taste very good with nothing but menthol)......most menthols (that aren't chock full of mint) also have a tobacco flavor to them......for the menthol smokers...ya know

So yea.....reformulation
Actually there are some menthol only with no other flavors out there, I ended up with several when I first started vaping ( which makes that at least a "used to be" if it isn't still done ). Many of these implied a tobacco taste in their name but had no tobacco flavor ( fake or otherwise ) ...
The part I was speaking to... was just the menthol portion/flavor... so many claim to have it but instead use a combination of mint, peppermint and/or spearmints which are obviously not the same despite them being chemically close to menthol. GV's were always out of their menthol line when I was trying different tobacco like juices... so I haven't tried any since they were released since GV's doesn't actually carry a real tobacco extracts ( just a synthetic ones made of other flavors ( natural or otherwise ) to simulate tobacco ), for tobacco's juices I've always gone with the real thing... ie naturally extracted tobacco's
So if GV is reformulating the flavorings used with the real menthol... then my previous comments don't apply to that... I was just speaking about those that did not actually use menthol but some other combination of flavors to simulate it, which is what it sounded like ... ie "reformulating the menthol"