0
I propose to merge stable-homotopy and stable-homotopy-category.
The latter is used for the same types of questions as the former,
and most questions with the latter have little to do with the stable
homotopy category per se, as opposed to the model category or ∞-category of spectra.
