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.