Put back ProvidedTyeps.fsi customizations