html-generator: Add instruction model counts and test