Merge recent pull requests

Stephanrequested to merge
github/fork/yngwi/merge into master

Created by: yngwi

Additionally removes the red "beta" text and changes the breadcrumb to use cei:idno/@id

Merge request reports