These progressive quality options on PBS’s in-house video player seem…unintuitive