Congratulations on a well deserved victory to all involved.

A toast to the good ship Linux.

rgds
M