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:

http://arduino.cc/en/Reference/Libraries

The library I am talking about is DueTimer:

https://github.com/ivanseidel/DueTimer

by Ivan Seidel:

http://forum.arduino.cc//index.php?action=profile;u=45045

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