The duplicate entries would still appear in /etc/fstab, but maybe that’s
OK.

Ludo’.