[Hackage] #708: extension list