Added new html-serializer extension; build tweaks