wrong figure reference in plugin development guide (#468) · Issues · pub / frama-c