This was not documented, and it is a very useful feature for badges,
versioned documentation, etc.

already exist, it is just not documented. This commit fixes this.