nuke bot no longer OP :(
Merge branch 'master' into bytecode_optimizations