It would  not restart after a very slow Chrome update, which may have been affected  by a concurrent power failure.  Pushing the power button does nothing.  It remains to be seen whether I can get it fixed.