// 0.10: #Bugnumber to links, highlight comments for customors in checkins
// 0.09: update download/update URLs
// 0.08: fix typos/formatting
// 0.10: #Bugnumber to links, highlight comments for customors in checkins
// 0.09: update download/update URLs
// 0.08: fix typos/formatting