Some more dev doc improvements