[MM3-users] Re: How to build docs and how to contribute documentation