Make origin links point to #infix_*, fix search