| Working on the documentation and external tools (with help from Andrew | Tolmach) is my priority right now, as I need it for my own work. Thus | *generating* External Core (and parsing it back in with an external | tool) should be possible for mere mortals again soon. OK that's excellent. Thank you! Simon