I’ve queried this with our developers, and I’ll report back to you. Please let me know if anything changes in the mean time.