Merge branch '01' into 03-ISNAN
Merge branch '00-admin' into 03-ISNAN
Merge branch '01-cleanup' into 03-ISNAN
Merge branch '01-testing' into 03-ISNAN
Merge branch '01' into 03-ISNAN
Merge branch '01-inspect' into 03-ISNAN
Merge branch '01-cleanup' into 03-ISNAN
Merge branch '01-cleanup' into 03-ISNAN
Merge branch '01-cleanup' into 03-ISNAN
Merge branch '00-copyright' into 03-ISNAN
Merge branch '02-cons-with-tag' into 03-ISNAN
document ENABLE_ISNAN_TRICK in R-admin
Merge branch '03-ISNAN' into 14-names-reorg