4 Pin Fan Config on Octopus Pro: bug or stupid user?

Is my observation and proposed solution correct?

Relevant Hardware:
VCORE 3.1
Octopus Pro h723
Delta 4 Pin Parts Cooling Fan

Relevant Klipper Config Files:
RatOS/4pin-fans/toolhead-fan-25k.cfg
RatOS/4pin-fans/toolhead-fan-100hz.cfg
RatOS/boards/btt-octopus-pro-h723/config.cfg

Problem:
RatOS/boards/btt-octopus-pro-h723/config.cfg does not assign pins referenced in variable '4p_controller_board_pin' used in RatOS/4pin-fans/toolhead-fan-25k.cfg or RatOS/4pin-fans/toolhead-fan-100hz.cfg . This results in error : Pin '4p_fan_part_cooling_pin' is not a valid pin name on mcu 'mcu'

Solution:
Assign pins to variable 4p_controller_board_pin in RatOS/boards/btt-octopus-pro-h723/config.cfg in accordance with RatOS docs: https://os.ratrig.com/docs/guides/4028

Connecting a 4028 fan | RatOS

4028 server fans are becoming a popular option for part cooling because of their light weight and great pressure and flow rates. In this guide we'll go over how to connect one and use it for part cooling. 4-pin fans usually aren't used in 3d printers, and many boards only provide 2-pin ports, but fear not! There's always a way.