Adapt the manual style checker to check the Spanish manual.
Authored by: david_costanzo 2019-04-21
Parent: [r4836]
Child: [r4838]
