Add forgotten docs and lint builds