Clarify the pseudocode note

The sail code has been available for a while, but it still needs to be
integrated into the spec.

src/cap-description.adoc

@@ -400,10 +400,9 @@ uses a floating point representation to encode the bounds relative to the
 capability address. The base and top addresses from the bounds are decoded as
 shown below.
 
-WARNING: #TODO: The pseudocode below does not have a formal notation. It is
-simply a place-holder while the Sail implementation is unavailable. In this
-notation, / means "integer division", [] are the bit-select operators, and
-arithmetic is signed.#
+WARNING: The pseudocode below does not have a formal notation.
+It is a place-holder until the sail implementation has been integrated in the specification.
+In this notation, `/` means "integer division", `[]` are the bit-select operators, and arithmetic is signed.
 
 ifdef::cheri_v9_annotations[]
 NOTE: *CHERI v9 Note:* The IE bit from CHERI v9 is renamed EF and its value is