Fail to parse plan with number with thousand separator

[pgiraud]

Seq Scan on tenk1  (cost=0.00..333.00 rows=10′000 width=148)

This plan can't be parse because of the "′".

For the record, this plan was found at https://explain-postgresql.com/archive/explain/24f69a8c-d205-21f2-152e-fad5c78189fd:0:2024-02-23

[pgiraud]

Bad copy paste, plan shouldn't contain thousands separator.