Another thing that works is using Google Chrome. Google Translate is tightly integrated in that browser and it doesn’t require the print workaround. Not an ideal solution for those of us who prefer other browsers though.