@pgcd I think it’s worth filing then, at least there could be a documentation clarification

@adamchainz yeah, you're probably right, I'll do that.