I bought an early copy of this lens - and like it a lot. However the infinity stop began to bug me - as it has others.
So I decided to modify mine. I don't recommend this - but I have not found any downside for me.
I depressed the pin and carefully cut the lower end off with small clippers - removed the pin and took out the small spring, with a tiny file smoothed the pin end and with a minute speck of glue stuck the pin back in the holder.
I now have a lens with a focusing tab but without an operative focus stop - done carefully it looks as if it might have been designed that way and there are no signs of the vandalistic butchery that has occurred.
As I said not recommending - your choice of course and not for everyone - but done very carefully it is only obvious in the, for me, greater ease of operation. Just saying !
Sometimes the rigid's infinity lock can get in the way a bit when focusing near infinity, since you have to press the button while trying to fine-tune focus. I see it more as a quirk of the lens, a reminder that it's not a modern design, and with a bit of practice, I get used to it.
But.. I do find the infinity lock useful, so I prefer to keep it as is. I can also understand why others might choose to remove or disable it. Thanks for posting your method.