chiark / gitweb /
Update instructions for package removal requests. Closes: #454216