Add a porting header in the 0.8 reference index