Gee, musta blinked. Yesterday I opened FF-- v. 11, it turned out-- did a routine Check for Updates and next thing I know I'm in v. 13.
But Camino still has the best ad blocker. And they make better (though bigger) pdf's than Safari.
Is Linux still chugging along cozily with 3.6?