you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"