add some RFC docs