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?

other random data

Music thing: