2014-08-19-21.23.23: src/lib/x-kit/xclient/src/color/rgb.api: Renamed rgb_mix -> rgb_mix01, added rgb_mix11 as a convenience.