It looks like the Obsidian extension “store” has the last release. Is there a way to push and update, or do they have to pull?