infra library updates

Gerardo Lopez-Fernandezrequested to merge
gerir/infra/library into master

Updates to main page to link library; cleanup library to separate workflow details and provide a less cluttered library page.

Merge request reports