sorry, deleted your page by accident (another user asked me to delete his) -- I miswrote in the instructions. Use common.js. Sorry about that. --Yurik (talk) 06:33, 18 August 2019 (UTC)