Looks like @melh hasn't received any replies!