Documentation additions

Do not merge yet