Isn't the android "port" just the rebranding of K9? https://news.ycombinator.com/item?id=31727376