Actually, make it "New" for Mir. If there's some symbol we've accidentally hidden then that's a Mir bug.
Actually, make it "New" for Mir. If there's some symbol we've accidentally hidden then that's a Mir bug.