Further tweaks to release docs