v0.3.0

This release doesn't include any functional changes.

However, the repository and publisher name have changed since the last release.

This means that to update the extension, the old version has to be uninstalled first.