Made midi more prominent by being in the root dir, linkchecking

[ardour-manual-diverged] / _manual / 13_working-with-plugins / 03_processor-box.html

diff --git a/_manual/12_working-with-plugins/03_processor-box.html b/_manual/13_working-with-plugins/03_processor-box.html
similarity index 100%
rename from _manual/12_working-with-plugins/03_processor-box.html
rename to _manual/13_working-with-plugins/03_processor-box.html