This repository was archived by the owner on Jun 18, 2024. It is now read-only.
Home
This Wiki can be edited by every user of github. It is not strictly necessary to discuss changes or to obtain written documentation of a consensus in advance. However users should take care over any edits, to be sure they are reflecting the community's view and to be sure that they are not accidentally introducing new sources of error or confusion.