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