Hi,
I just did it by editing main.php in template :
<?php if($_SERVER['REMOTE_USER'] == "batman"): ?>
<nav id="dokuwiki__pagetools" aria-labelledby="dokuwiki__pagetools__heading">
<h3 class="a11y" id="dokuwiki__pagetools__heading"><?php echo $lang['page_tools']; ?></h3>
<div class="tools">
<ul>
<?php echo (new \dokuwiki\Menu\PageMenu())->getListItems(); ?>
</ul>
</div>
</nav>
</div><!-- /wrapper -->
<?php endif; ?>
Of course, replace "batman" by the user you want. You may adjust "<?php if($_SERVER['REMOTE_USER'] == "batman"): ?>" to match other users or groups.
Note that "starter" template has a "hidetools" option you may find interesting.
If you don't want to see the default template erased, copy it in another directory and rename it 🙂