@fusion809 Good job, thank you.
By the way, despite its name, the geany-dev PPA is not owned or operated by the Geany team and its owner seems to be having difficulty keeping up since Geany moved to several releases per year.
@eht16 is it you I ping re adding website links to these packages? And maybe we should check validity of the other links.