Guide talk:Tips for Mining

Proposal of merging
This page contains tips that, while useful, are found very commonly in other pages. I'm thinking that the content of this page should be merged into Guide:Practical Tips. I don't think it deserves a separate page, as there are too few useful tips (most of them are also duplicates). What do you think? -- Murrayzero (talk) 16:37, 12 March 2019 (UTC)
 * Agreed; no objections. Where necessary, parts can then be transcluded. --Rye Greenwood (talk) 17:23, 12 March 2019 (UTC)