Ignore refs.html