GitHub
Peter Todd and David Harding formalize Replace-by-Fee in BIP 125
BIP 125 formalized opt-in Replace-by-Fee (RBF), tracing directly to Satoshi's December 2010 BitcoinTalk replacement mechanism — the thread where Peter Todd made his second-ever forum post.