That seems to be consistent with the manufacturer’s data sheet for the switch family, 2.7mm overtravel.
I guess I’ll be continuing to mis-mount mine until those brackets for the proximity switches are available and I can switch over.