2017 Community Wishlist Survey/Editing/Modify leading for users who disable enhanced editing toolbar

From Meta, a Wikimedia project coordination wiki