haddocks: post-"Internalization" clean-up, round 8 et Fin.