3f10b5082919 ("docs: admin-guide: do not mention the 'run a.out user programs' feature")