(extended whine nuked, but silly discussions preserved in deference to
 silly whiners' sensitivities.)