I would argue that having no install button after downloading an extra is a serious problem since it is such a common activiry. And since it has already been fixed here:
maybe publish a 3.1.1 version soon rather than wait for 100 more issues to be resolved, and then push the rest on the list fo 3.1.2?