Didn’t strictly learn this today, but needed to note it down so I remember.
scroll-padding applies to scroll containers;
scroll-margin applies to scroll items.
play() on a media element is recommended when switching the
src. Hopefully this fixes the occasional
AbortErrors I’ve been seeing on iOS.