Devtools git link not working

A post was split to a new topic: Documentation nostalgia