Heh. Seeing as the device list for the K5 is starting to get a bit ridiculous, I just committed new aliases (kindle4, kindle5, touch, paperwhite) as device names that'll take care of the whole list of models for a specific generation. Neater build scripts
.