Looks like there's also a bug here (`[[vclocks]]`), but I'm not sure what the best way to link to another page internally is.