devel-docs: no need any longer to ignore gimpcompat.h, it's gone