G’day! Last month ended with completing the local-export subsystem in Pinto which was the last piece before I could use Pinto for my personal bookmarks. And that’s exactly what I’ve been doing, using Pinto almost everyday this month. I’ve discovered a few small bugs which have been fixed, and some areas where the UI can be improved. But for the most part Pinto has been working delightfully well! As promised, I took a break from the development work of Pinto. I expect this will continu...