Do we need `#%plain-app` either?