Zelditch's proof of the Tian–Yau–Zelditch Theorem makes use of the Boutet de Monvel–Sjöstrand results on the asymptotic properties of Szegö projectors for strictly pseudoconvex domains. However, as we will show below, the theorem is also closely related to another theorem of Boutet de Monvel's, namely his wave trace formula for Toeplitz operators. Finally, we will derive, for the pseudoconvex manifolds considered by Zelditch in his proof of the Tian–Yau–Zelditch Theorem, an analogue of another result of Boutet de Monvel's, the extendability theorem of Berndtsson for holomorphic functions on Grauert tubes.