Then makoto1337 has publicly stated (see above) that all unclaimed coins will also go to developer's fund funds.
wow, how can IPO coins mutate to Dev coins?? Is this true? Should be droped to Stakeholders.
That should answer your point 1) and 2)
Regarding 4) Unclaimed stakes will most likely become community managed fund (but we'll probably give people 2 months after launch to claim them)