Release v24.7.2

24.7.2

• It was made more clear in the settings dialog how the AI integration can be used
  (for #3055)
• There now is a software repository for Raspberry Pi OS 12
  • Please visit the Raspberry Pi OS installation page
    for instructions
• Added more Korean, Italian, Russian, Dutch, German translation (thank you,
  venusgirl, hermi55, starship10, stephanp, bumpsy)