Follow-up: Is it worth grabbing some sandpaper and buffing this out? It isn't really large enough to easily be visible (hence why I missed it the other day when I gave it a visual inspection) but by the same token you can't miss it if you run your finger over it.

It's right at the very tip of the rail (actually both tips). The rails themselves are otherwise smooth and the bolt itself slides freely.

Worth buffing out or no big deal?

Thanks again.