`#where` doesn't print `open scoped`

[Floris van Doorn]

import Mathlib.Geometry.Manifold.ContMDiff.NormedSpace
open scoped Topology
#where -- In root namespace with initial scope

[Kim Morrison]

Closed in favour of leanprover-community/batteries#778