Or meet up with said colleagues at an industry event, because the world is awkwardly small. So it's in your best interest to make sure that your resignation letter is clear, concise, and polite. Here are some best practices you can follow to make your big exit a professional one.
Sure, it may sit in the depths of HR until the end of time, but you can be sure of two things: One, your former boss (and future reference) will read it and be impressed. And two, if you ever decide to come back to your company (hey, it happens), it's a very good thing that last thing on file is a great, professionally written resignation letter.