I think you are pretty much correct. Try it, is not a risky operation. -- Alberto
-- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/87k3a7uz88....@eps142.cdf.udc.es