Arduino due Official Library page suggestion - DueTimer

Hi, I spent whole day trying to find a Timer interrupt handler for Arduino DUE, and after reading through the forum I found ane briliant library which I believe should be included at this page:

The library I am talking about is DueTimer:

by Ivan Seidel:;u=45045

Thank you! I'm glad you liked and that it helped