Nick: You are a rockstar. That is great. I am going to have to meditate on this.
Incidentally, I think you had mentioned at one point that Lannes had some general approach to the Sullivan conjecture that could be applied to give the Segal conjecture (i.e., it tells you how to calculate mapping spaces where the target is not finite). Does anything like that apply here?