Useful resources

Some resources that we have found useful or that others have suggested.

Some useful resources we have collected or which have been suggested. Will update as we go along.

Last modified November 24, 2021: Add a file with links to further resources (76f3b46)