Wiki conventions

As discussed on our documentation meeting 2014-11-20. Added some hopefully uncontroversial things we did not explicitly decide then.