This repo exists only to make github pages paths consistent with Berkeley servers