Add some design documentation from the BoF