Improved extension detection with the old Firefox hack #815