Re: [GHC] #15820: Document the proposals process in the GHC manual