I found a question about upsizing (https://www.digitalocean.com/community/questions/if-i-upgrade-from-a-10-month-plan-to-a-20-month-plan-would-i-have-to-reinstall-everything-or-is-the-upgrade-seamless), and want to ask the opposite question: When moving down the size stack, how does disk get resized?