Firefox 115 und angepasste user.js noch gültig?