Luck not on my side -- for this, nor the $250MM Powerball drawing.
Did the work yesterday morning. 11 month-old fluid came out rusty color, but not lumpy. New clutch master cylinder was identical to the original (LuK brand). No difference in the clutch operation, darn it.