After asking around for a while, it appears that there is no prior reference for this fact. I'm posting and accepting this answer to move this question off the unanswered list. That said, if anyone does later find a reference for this, please post it as an answer - I'll accept it and delete this one.

*(I've made this CW since I don't really think reputation gain for inactivity-made-explicit is appropriate.)*