El Galaxy S4 Mini es un teléfono bastante decente, incluso para los estándares actuales: una cámara de 8 mp (y 1.9 frontal) con capacidad para capturar vídeo a 1080p, a 30fps, 8 Gb de ROM y casi 2GB (en realidad, 1,5) de RAM, y un tamaño de pantalla decente.
Sin embargo, su programa oficial de actualizaciones sólo permite actualizar el SO hasta Android Kitkat (4.4.2). No es exactamente un problema importante, dado que es una versión del sistema operativo bastante ligera y (todavía) capaz, pero entiendo la falta de ciertas comodidades que las versiones más nuevas de Android traen consigo, en comparación con Kitkat.
Tu mejor opción es, de hecho, flashear una imagen de ROM personalizada en tu Galaxy, un proceso aterrador y desalentador en el pasado, pero una técnica común hoy en día para las personas que quieren sacar el máximo provecho de los dispositivos antiguos.
Para cada ROM personalizada, hay una versión de Android diferente, y la elección de la versión para ir con es totalmente tuya. Yo sugeriría quedarse con Android 5.0 o 5.1, ya que aunque también se puede considerar una versión "antigua" de Android, entre las versiones más nuevas, se beneficia de tener niveles decentes de compatibilidad con los modelos de teléfonos inteligentes más antiguos, mientras que es menos exigente en términos de uso de recursos. ROMS como AOSP, o LineageOS (antes CyanogenModOS) pueden proporcionaros el soplo de aire fresco que vuestro teléfono necesita.
Podéis encontrar algunas guías y tutoriales detallados y fáciles de usar en el foro de XDA Developers de abajo, uno de mis favoritos para cuestiones relacionadas con la personalización de Android.
Foro del Samsung Galaxy S4 Mini en XDA Developers
¡Espero haber ayudado, y un upvote siempre se agradece! 😀