Just in case. My OS is now Ubuntu 16.04 (2018-W50).

I could not locate Next anymore, so if it left something to the system then they will stay. Still, that is a small price to pay for convenience.