This release fixes a bug introduced in yesterday's release that prevented the button to add a new extension from working in some situations.