Greetings. Could you please add tinyhal library to Arduino Library Manager? https://github.com/lexus2k/tinyhal This library is basis for future tinyproto library versions and some other libraries. Thank you