I'd be OK with documenting it. Since it's not default, an explicit choice is fine.