Switch vimerl repo to the 'official' one