> I agree. The only extra thing I wanted to mention in that top level documentation was the fact that this file wouldn't work if moved from the locations in examples/... Does what's here in 35d25bd look OK to you?

Well, no, because this was already the case due to the RealGalaxy stuff (as is also the case for demos 6 and 10 as well).  I don't think we need a special warning about this here.