@@ -393,27 +393,6 @@ Produces one of these depending on the value of `number`:
393393<p><b>12345 </b>is an <b>odd </b>number.</p>
394394```
395395
396−### `;/` Micfas
397−
398−The [micfas rune](/docs/hoon/reference/rune/mic#-micfas) turns an ordinary tape
399−into a `$manx`. For example:
400−
401−```
402−> %- en-xml:html ;/ "foobar"
403−"foobar"
404−```
405−
406−In order to nest it inside another Sail element, it must be preceeded with a
407−`;+` rune or similar, it cannot be used directly. For example:
408−
409−```hoon
410−;p
411− ;+ ;/ ?: =(0 (mod eny 2))
412− "even"
413− "odd"
414−==
415−```
416−
417396### `;*` Mictar
418397
419398The [mictar rune](/docs/hoon/reference/rune/mic#-mictar) makes a `$marl` (a list
@@ -465,6 +444,27 @@ For example:
465444&lt;/main>
466445</pre></td></tr></tbody></table>
467446
447+### `;/` Micfas
448+
449+The [micfas rune](/docs/hoon/reference/rune/mic#-micfas) turns an ordinary tape
450+into a `$manx`. For example:
451+
452+```
453+> %- en-xml:html ;/ "foobar"
454+"foobar"
455+```
456+
457+In order to nest it inside another Sail element, it must be preceeded with a
458+`;+` rune or similar, it cannot be used directly. For example:
459+
460+```hoon
461+;p
462+ ;+ ;/ ?: =(0 (mod eny 2))
463+ "even"
464+ "odd"
465+==
466+```
467+
468468## Good examples
469469
470470Here's a couple of agents that make use of Sail, which you can use as a