Only options which are registered in core or in one of installed extensions, or options with keys prefixed with userjs- (intended to be used by user scripts), can be set.
Do you need a wiki for your Minecraft mod/gaming wiki? We'll host it for free! Contact us.
