Warning: this is an htmlized version!
The original is here, and
the conversion rules are here. 
clean: