Agda IDs are not consistent across files

[wenkokke]

A partial solution would be, for each library, to:

• generate an Everything.agda in _cache/<libraryName> which imports all modules in a set of libraries;
• run Agda once to highlight this file and all files in that library in one go, adding _cache/<library> to the include path so Agda can find the Everything.agda;
• modify the build rules so that each task is registered as generating a whole set of highlighted Agda files.

However, this doesn’t let us generate consistent links between different sets of libraries, which means we could only ever have—at most—one active course page whose links aren’t broken.

Perhaps this is a upstream issue, and the numbered ids could simply be replaced by a combination of library name, module name, row and column?

[wenkokke]

Relevant Agda issue: https://github.com/agda/agda/issues/2735