commit/skk: Jerry James: Replace troublesome texinfo characters with REPLACEMENT CHARACTER for now.