benchmark.html: explain why some problems have alternative implementations