It should be installed and available now, but it is not ansible'd (yet).

Let us know if there is anything else we can help with.

This can be closed I guess?

It's in fact not quite merged but I feel more and more like keeping the plugin in git in the ansible repo isn't sustainable, it would be good to look for a nicer solution I think.

commit 274d7993ce1ac3a808d8673c8aa07234956118b0 has the new way to manage jenkins' plugins and takes care of this.

Thank you very much for your effort!