This is what I found page 31 :
First versions run with 12v, this is how it sounds the best
They wanted to make it compatible with standard 9v supply and wondered how it would sound at 18v, so they added the 18v pump charge
The outcome is more clean headroom, the tone stack remains unchanged
From what they say the JFETS are also upplied with 18V so need to be biased to 9V, so it's not only the opamp