At revision#67582, we start to use "Auto Hide" and "Disable Auto Hide" for the pin buttons' tool tips.

Thanks for your report.