* options.skel: Changed comments.