New format and content for awk.info