The page of [K-OS] has moved there: https://k-os.math.ethz.ch/.