No, it doesn't have to be removed, it just seemed out of place. -- Documentation gives installation instructions https://bugs.launchpad.net/bugs/223317 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu.
-- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
