Related topics# Here we gather information on various topics in some way connected to the themes of these notes but which do not (at present) fit into the flow of the course.