I believe that we decided these files should have `div`s with names instead of anchors.