Oops, I misremembered. OP said /r/fossdroid not /r/fdroid. Thanks!
OP, how old was this post? ~~Now that the subreddit has gone private, that data isn't available.~~
Oops, I misremembered. OP said /r/fossdroid not /r/fdroid. Thanks!