FWIW, AnyDVD doesn’t know what to do with the new disc yet, so it’ll be a while before I can get the new audio. However, since the video is identical, I can still work on redoing the video encode. Now that I know my way around both AviSynth and x264 a little better than when I did my first attempt, I can work on that using the old disc.

To edit out the extraneous scene: Loop(0,58991,59801)
To resize to 720p: ResampleHQ(width=1280,height=720,kernel=“spline36”,chroma_kernel=“spline36”,dither=true)

This, plus a probably better set of x264 parameters, produces an image that looks to me exactly as good as my earlier 1080p encode, at just under 2/3 the size (old one averaged 24.159 Mbps, new one 15.625 Mbps). I’m pretty pleased. I’ll just resize the subs next, port all of the audio tracks over, and then wait until I can access the lossless BD-audio (and for a Japanese translator, of course).