People who resign don't typically continue to get paid and receive benefits. :)Survived 20 years of service and, while "retire" is the appropriate word, I choose to use "resign" as it is more fitting.
Thank you (and all the rest of you clicked something other than the bottom button) for your service.