For the issue in #37, I was able to restore the external display by undocking and re-docking the laptop.
For the issue in #37, I was able to restore the external display by undocking and re-docking the laptop.