This patch adds "VERSION" to the list of words completed after "create
extension foo", and adds the list of available versions of foo after
"create extension foo version".
There is no point in filtering out the already installed version, as the
entire statement is doomed already if any version of the extension is
already installed.
Cheers,
Jeff