I meant it as a top-level comment, I just pasted it in here, by accident.
Actually, our thinking is in line regarding what any new mix should be - assuming the recovered ninja mined isn't burned. If it is burned I think 50% going to devs and witnesses would be appropriate. Going above 50% isn't very appealing to anyone who isn't an insider or skilled.