I just noticed that install/dist/conf/debian40.conf.php and install/dist/conf/debian60.conf.php are identical. If you think a little further, you will also notice that current Debian Stable is Lenny, which is 5.0, not 4.0 (Etch), not 6.0 (Squeeze, which happen to have been frozen today). I checked in the code, and basically, Etch is "debian40", as well as anything similar up until Squeeze, including Ubuntu. Then "debian60" is Squeeze and Sid, but is actually not much different from debian40. This "debian50" missing is bugging me. My sense of order is severely hit. ;-) Should we do something about it?