How to set a non-default system sound in Pixel 4 Clock?
After a recent Google Clock update from the Play store the system notification tones are available again. The change list mentions 'bug fixes' without specifics. 

The 'Sounds' app is still not accessible from the Clock app, but this is good enough for my purposes.