What's the JSON API-way to copy folders?

I am developing a JSON API for a learning management system. Students can enroll in courses. Courses have a “file system” containing files and folders.

There is just one feature left to implement: Folders (containing more folders and/or files) can be copied from one parent folder into another parent folder.

I am researching severel (so called) REST-APIs having this feature, but all the solutions I found seem bad. Either there are routes like /folders/{id}/copy or the HTTP verb COPY is used.

Both ways do not seem to be compatible with the JSON API spec.

Does anyone have a solution to this problem?