The stack of coherent sheaves is limit preserving
Small improvement: principal localization and NL