More translation of the comments in options.rpy