Add some documentation to Sylvester solver.