Generic rules in "robots.txt" not picked up by Googlebot

Dear Ayke,

Confirmed.

$ http https://meta.discourse.org/u/amotl --print hH | grep -i robot
X-Robots-Tag: noindex

Thank you very much for your quick response and explanation and for referencing the corresponding patch.

With kind regards,
Andreas.