[kibwen]

Ralf is the head of the official Rust team tasked with specifying Rust's operational semantics, so as far as trademark usage this is approximately as official as it gets (keeping in mind that the project in the OP is still just an experiment, and not any sort of stable or normative document).

[ralfj]

It's certainly not official, so please don't take all the choices MiniRust makes as being anyone's opinion but mine -- but we're working towards having something official like it. :)