Replace HTML entity with (literal) right arrow in Getting Started

For the same reason as #9533 (“Replace HTML entity with literal dash in Getting Started”).