Miri DDR API : a free mobile device description API | Hacker News Reader