How can we solve the problem of unmerged RFCs after their FCP?

RalfJung: > one also has to fix up the filename and potentially the "rendered" link and maybe more This, at least, should be better now as the bot will IIRC do the rename when the PR is initially opened now.