Could be, either way is just fine by me...just wanted to clarify that (within the 5/31-6/5 parameter) it could happen any time within that period so-as not to provoke unwarranted grief, should a PR not happen until later in the week. Monday[?]...all-the-better ;)