Thanks for your notice.
The already included Extension Library in Domino 9 is sufficient. There is no need to install any other Extension Library for this project 'IDVault Password Reset'.
By the way, my colleague just updated me, that he has successfully installed it on Domino 9.
Best regards and have a nice weekend.