Point docco to Diana's personal github branch for updated jump_menu