some updates to the top-level README