NJVC’s stuff would need to be rebuilt from the ground up because he used Harmy’s untouched 720p encodes, while the 4K## Blu-Ray encodes are 1080p and have a much higher bitrate and file size.
The Blu-Ray releases williarob put together of 4K77’s and 4K83’s DNR releases have menus and such, though.