Hola,
Echando un vistazo a los "browsecap.ini", al que recomiendan descargar "para todos los websites", veo que lo que yo estaba tratando de hacer no tiene ningún sentido en absoluto. De verdad, reconozco ahora mi error y me tiro de los pelos por no haber leído mejor el manual de PHP sobre esta cuestión. El "browsecap.ini" que he descargado incorpora dispositivos móviles... y otros cientos de navegadores. Combinado con la función de PHP "get_browser"... es cuestión de hacer pruebas, pero, parece desde luego lo más apropiado.
Ahora sí, abandono definitivamente lo que estaba haciendo. Gracias Román. Gracias a todos.
