Perhaps good to hand hone break the cutter corner about .000012 if that is a concern to producing the job. We would leave the corner .050 to zero radius for grinding parts and never got a job back. Most often to 3/64 or less (to zero) just to save the time of checking on the shadow graph. Yes grinding is different because it is near impossible to get a dead sharp corner. Adding a .005 radius would often include a wheel change , face and OD dress, blue-up, hand feel the floor of the part. slow come-in and careful watching. likely a 1/4 hour addition to part cost. Yes a dressed radius would not be performed, just going to the smaller grit wheel would get the desired smaller radius.
Even employing that hand hone bump to the end mill might defeat the designers purpose of saving the time and additional cost of adding a radius to the part..The cost of a special .025/,030 radius end mill might be $100 or so, add a tool change, tweak the extra pass into the program, hold the job up three days to consult the PM guys, give you dog a dirty look because of being upset, loose a nights sleep in worry,