Yep (backed that one), and also in the slightly disappointing Elite: Dangerous one, the second video where Braben talks about Procedural generation is quite nice (if too 'lite'). I'd love to see him get down to the gritty details, like whose formulas he uses for what etc (he mentions Fibonacci etc):

http://www.mathsisfun.com/numbers/fi...-sequence.html

But yeah i'd like to see more in the KS video's about all this stuff.