In the Web IDE, when moving a directory into another one an unhelpful error is thrown and the operation fails.
Screen_Recording_2023-06-03_at_12.13.06_PM