public static String createAddressAnnotationString(Address destinationAddress,
			String displayText) {
		return "{@address %s %s}".formatted(destinationAddress.toString(false),
			AnnotatedStringHandler.escapeAnnotationPart(displayText));
	}
Constructs a well-formed Address Annotation comment string.

@param destinationAddress destination of the annotation
@param displayText text that will be used as the body of the annotation.  Problematic
characters will be escaped
@return string
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/field/AddressAnnotatedStringHandler.java