Thanks for the link! The advantage of an Android library is, of course, that you don't need to pre-generate the icons on the server.