Urs Schreiber@SchreiberUrs·May 12, 2019have added the pointer to the nLab, here: http://ncatlab.org/nlab/show/perfectoid+space#BCM…11