"==RFC: Minne tämän uudelleenohjauksen pitäisi osoittaa== ==RFC: Minne tämän uudelleenohjauksen pitäisi osoittaa=== 

 Jatkona ylläpidon ilmoitustaululla käydylle keskustelulle, pitäisikö 'Joulupukki' ohjata joulupukiksi, joulupukiksi, joulupukiksi (disambiguaatio) vai johonkin muuhun vaihtoehtoon? - '''' "