Making install docs build again: