The leanote util package