not plan to provide an exhaustive list of history links here. Rather, we want to document
links used or found useful in working out other contributions on this site. In that sense
the history links here may be roughly seen as a list of ¡ § N¨rsites cited¡ ¨ N r or used in any
form.. There may be many others.
general links to start with nevertheless: