That was why I asked, I thought that's what VACUUM was for.
Thanks for the tip, I've done it and my FF loads 10x faster. A contributory factor may have been my deleting the safebrowsing database, which I disabled many months ago but Firefox still loads anyway.
Ehtyar.