Seules les options enregistrées dans le cœur ou dans l’une des extensions installées, ou les options avec des clés préfixées par userjs- (devant être utilisées dans les scripts utilisateur), peuvent être définies.
Vous avez entré un nom de page invalide, avec un ou plusieurs caractères suivants :
< > @ ~ : * € £ ` + = / \ | [ ] { } ; ? #