We should decide whether we want to have a single global bibliography or have local bibliographies for each page, or a combination of both. A global bibliography is maybe a bit cleaner.