Update platform docs a little