No longer needed since we have nice, contributed navigation buttons.