more WCET notes, and related answers to questions