Save For Web is still available, I see, as a Legacy option but Export As JPEG saves a much smaller file. Unfortunately, it also strips copyright info saved in the Exif header of images. It would be nice if that and ICC profile retention were options.
Thanks for the quick reply and the link. Yes, the sRGB option is pretty important, too.