Added a Refresh button to the Addons tab. I have no idea how well it works in practice, though.
View differences
Added a Refresh button to the Addons tab. I have no idea how well it works in practice, though.