Here is my feedback on this new version: I verified again and the "Enable uSD swaps" was correctly checked. Clicking on Fresh Swap did the job and refreshed the swap on /dev/mmcblk1p2 as expected. After rebooting, the /dev/mmcblk0p3 partition was used again
blkid | grep swap dpkg-query -W -f='${Version}\n' upstart cat /etc/default/mount-opts-overwrite cat /etc/default/mount-opts cat /etc/fstab