In any event, D.C.’s best players needed more rest back in December and January, when that rest could still do some good in portions measured in minutes; they definitely need it now, when those chunks will have to be game-sized to make any difference at all.