Feature #1742: Update user pool xsd