Thread:Extension talk:Maps/User manual/reply (5)

Indeed. There just is display_map now, with display_point(s) being aliased