I've fixed the code, and both sites should be updated within an hour.
... and this is the OTHER reason people should be looking at the IETF tools website - if you have feedback on what the tools do and how they can be improved, updates usually happen really quickly :-)
Spencer
_______________________________________________ Ietf@xxxxxxxx https://www1.ietf.org/mailman/listinfo/ietf