html documentation now available