Datasheet-type collections and self-made references

Bigger projects

These are more ambitious, aiming to be community projects like wikis.

There are more of these kinds of thing scattered throughout Lean Notes: suitably large collections will be split out to their own pages and linked both from the page from their original Lean Notes context and here.

Outside Aggregates and Sources?