Hi, Just a reminder that we are still in 'summer hibernation' (summernation?) mode, so there will be no WG call today. We will resume our regular bi-weekly schedule on August 28. Thanks, Benjamin -