The official API access rules, still online, use an android reddit app as an example for how to select a user agent: https://github.com/reddit-archive/reddit/wiki/API#rules

It's hard to argue this wasn't an intended use-case...