Menu for /~wjarosz/publications/jarosz19orthogonal-supplemental/utils/jeri.js.map