<div dir="ltr">It might make sense to clarify whether a properties object can be in a feature collection, currently since you can have any extra values in there you can put a properties object there. Instead I'd suggest a adding a paragraph to the feature collection def which says<div>
<br></div><div><div>    A feature collection object MAY have a member with the name "properties". The </div><div>    value of the properties member is an object (any JSON object or a</div><div>    JSON null value).</div>
<div><br></div><div style>yes technically redundant but on the other hand there quite a few questions on stack exchange asking just this, plus depending on how the CRS discution goes, feature collection level properties might be the most sense to communication information about the data in the feature collection.</div>
<div style><br></div><div style>I can submit a pull request once I get to a computer that has haskel installed on it.</div>-- <br>-Calvin W. Metcalf
</div></div>