Hello, The events over the last couple of weeks have obsoleted some of the information on our amd64 page. I would like to write up some docs about how people can use the pure64 port and post it there. Who has access to www.debian.org/ports/amd64? Can I send that person changes? Can I get access to make changes there? -- John