Add docs for shuffle manager properties, and allow short names for them