Documentation updates for 0.5.4