Merge branch '00-admin' into 01
mention master branch in mods/README
Merge branch '00' into 00-version
Merge branch '00' into 01
mention project pages in README
Merge branch '00-version' into 01
Merge branch '01' into 03-sexprec