We have implemented the change you requested.  It will be present in the next
public draft.  Thanks for your comment!

Reply via email to