I did not find an easy way to do it, so I wrote a short python script from the description of the device ID in the documentation.
I figured it could be useful, so I’m sharing it here:
I use it for generating config.xml from a directory of certificates in my ansible scripts.
I tested it with a few device ids, but I’d be even more confident if someone ran it on a few more.