Thanks

Thanks to all the contributors, including all the creators of the projects described here.

Thanks to these people for extra help, in order of participation: