Remove old instruction about Ubuntu "historical" option