I wish they would release their work somewhere. But I've started re-drawing the 2000 schematics in KiCad, was thinking someday maybe I could create a board from it.
What I'd like to do is replace the custom chips. If the whole Amiga can be redone in an fpga when why not just make replacements for individual chips.