Update doc about Alex's K. implementation.