Loading annotation for z-pattern-matching.github.io