Hi there, For the past weeks, the links in the html documentation (of erlang built from git) point to many dead targets due to version changes. Could someone unbreak them or tell me how to? Thanks. Leo