By mere curiosity, why didn't we follow the usual renaming process (and avoid losing the previous history in git) ?
It was just an upstream rename due to a trademark issue.

H.