Is there a reason why, of _all_ drivers listed in https://cgit.freedesktop.org/xorg/driver the Radeonhd repository at https://cgit.freedesktop.org/xorg/driver/xf86-video-radeonhd/ has not been mirrored? Luc Verhaegen.