manpages.debian.org next update?

[Otto Kekäläinen]

Hi!

I noticed that all pages at manpages.debian.org state in their footer that
they were generated on October 21st.

Is the system that refreshes man page html broken?

Or does it really run only a few times a year?