Create bibbial3.dtx