Having the default shortlink is basically useless. If you use a shortlink plugin, that generates actual shortlinks, then the shortlink button comes back all by itself, magically. Perfect solution as is.