Quote:After great difficulties with the old repository server I moved to GitHub.
An manual installation of the new version is only for First-time users, old users will receive an automatic update via the old repository.
The automatic update will soon take place.
I have no longer have access to the old server due shut down, so it is necessary for all old users to update repository manually.
For more information about the new repository version can be found here.