Hi, of your proposed options, this one is easiest: > While we are at it: Could we drop the .patch suffix from the patch > files? Or use a different one? - Carsten