Fix triple-stash highlighting
Prepare 0.3.13 release