Understand, but that guideline mostly refers to a primary supply that serves multiple branch (service) lines. The RV city inlet has less than 1/4" diameter inlet to its check valve, and it then feeds a 1/2" Rv internal main supply before reaching the service branches, so using a large external line is of limited value in this case. Can't hurt, though, and it helps compensate for kinks and the friction of longer hoses (e.g. the common 25 footer).
A common 1/2", 25 ft long potable water hose can deliver as much as 24 gallons/minute (gpm) at 40 psi, so rarely is it the cause for lack of pressure inside the RV. Typical campground water systems drop pressure substantially when the spigot is open and flowing, so an actual flow rate might be more like 10-12 gpm, but that is still plenty considering that standard shower heads operate OK at 2 gpm and are usually considered great at 3 gpm. All newer shower heads are limited to 2.5 gpm anyway.