Our documentation doesn't have a top-level link to our users list (especially) and (slightly less important for frontpage) the devel list. This PR fixes that.
Ack and I'll merge using the "Merge" button@
Pull-Request has been merged by fidencio
Our documentation doesn't have a top-level link to our users list (especially) and (slightly less important for frontpage) the devel list. This PR fixes that.