nuke instructions
report error if a prefix is not found
add unused xmlIsReserved() function
Merge branch 'develop' into develop-protoscript