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.