Same for this, it is already defined in `manual.inc` (maybe renaming this file to another more general name should be good).

Sorry for not noticing this earlier.