I think it's a different one, i.e., not `#%plain-app` in the kernel list.