Server Decommissioning: a Brief Guide and Checklist