Note
I think this or something similiar (maybe Tool name) was removed before and someone once said on IRC this is not needed. Anyway, I know nothing. Wouldn't be better to copy item name source here, instead of a redirect? Mgpt (talk) 14:50, 24 March 2024 (UTC)