Record some more useful attributes in manifest