updating and display of manifest-type annotations