Is it time to dump Linux and move to BSD?