Small Korean for Vosk (Android, RPi, other small devices)