February 4, 2020

21:00

Done! Bouncycastle does the trick. The rest is a diligent but routine piece of work. Should take only a few more days.