It is good to have a short introduction in Grav documentation describing the history of Grav. Also what is the meaning of the Grav word? Is it an abbreviation?
(agree, a short Grav History should probably be in “what is grav”)
thanks! Good to add a headline as history of GRAV in docs! who are / were behind it?