Revert "need to delete this commit, sorry"

This reverts commit 745e3cf65d4ae3fa46677d078616851b4f607468.
document fixes from IRC meeting on 6 April