idris: add head URL