Pushpin, a powerful Pinboard client that was recently updated to version 3.0, got its first major update to 3.1 today, which introduces more advanced functionalities to get the most out of Pinboard ...