fix rst->md translation goof in SLEEP spec; add json syntax highlighting