Mention user's ability to edit the local devfile inside a workspace (in the workspace editor)

https://www.eclipse.org/che/docs/stable/end-user-guide/devfile-introduction/ is the most likely candidate for inserting this new patch.

Ask Mario for more info.