Open source dvd maker ?

is there a open source dvd maker ? doyou know wich software they use at the blender institute to make their dvd’s ?

I’ve google it but coulnd find it:eyebrowlift: any ideas ?

DVD styler - a bit unstable
Qdvdauthor - Linux

DVD Flick

It’s pretty good.

thanx ! i’ll check it out

sorry i don’t have information about what software they use…