17.15.6. Tools menu