Added built-in options for PrintDaggerAs (see Spinors.History).