I have what I think this is supposed to be written down,  but we might need to discuss this outside of GitHub.