Looks like @pugi hasn't received any replies!