Looks like @jerzy hasn't received any replies!