Loading annotation for practicaltheory.org