[docs] A few assorted tweaks