Restore Coral changes from 1.12 * Maintainer * Disable building of docs Change-Id: I1ffeeafc32225fce971de4644886306990ceebfe