ST_AsGeoJSON docs should have an example of CRS / bbox

[robe]

Mentioned in irc/matrix, and sounds like a good idea to me

---

Hi, I'm trying to understand the GeoJSON implementation in Postgis. Specifically, the [documentation](​https://postgis.net/docs/ST_AsGeoJSON.html) mentions that the options parameter allows you to include bbox and CRS in the output. However, the [spec](​https://www.rfc-editor.org/rfc/rfc7946#section-3) only makes mention of the bbox field. This 12:54 PM leaves me somewhat unclear on the field name used for CRS information (based on documentation alone), especially since the postgis documentation page does not include any examples where either bbox or crs is included. Do anyone know how these fields are encoded in the GeoJSON produced by ST_AsGeoJson?