HBO Max reverts to original name after brief rebranding.