Did some quick queck with Media Player Classic yesterday. I have to agree with you. The Jedi Crawl looks like a SD upscale. Can't decide from this tool if its interlaced or not but avs scripts can deinterlace the picture if so. The crawl looks identical (quality-wise) to the GKAR Jedi Edition.
Nevertheless one of these two editions is the best quality of the original theatrical title. I am sure it will fit well to the darkJedi Blu Ray Project.
The HD .ts files all feature english end titles only.