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

Hmm.. understandable.

But it wouldnt be blocking in any way, right? So theoretically we could just have it merged... especially since the RFC is an informalish process.

But another idea I have is to make a tab in RFCbot.rs that details all the rfcs that have finished FCP but aren't merged. This will bring more visibility tothese RFCs.