Stable_∞-category loading ...