Squashed 'direc3/' content from commit 6d2f42d

git-subtree-dir: direc3
git-subtree-split: 6d2f42d5d99b1aab1a366ee94a09d422d9677f41
Merge commit '17d530b4c9027a561f11d57b8bd85f7a1416622a' as 'direc3'