Is the GHC release process documented?