Store assertions alias for vscode

[jdstrand]

@niemeyer

Yes, given the project popularity, if that’s indeed a well known command name from that application, it sounds fair to hand it even if it’s a common term.

Thanks for the feedback! I’m happy to act on this, but it is perhaps best if you consider Process for aliases, auto-connections and tracks before I do.