The official Weemacs standard library