Ah ha! Having read further I know the answer. This is an AJAX thing.