The derived completion stuff can and cannot be found everywhere.