async+perf: more tweaks to appendix-B