Get BCH from blockchain.info after fork
Yes.

Haven't looked at those guides in particular, but I was able to redeem BCH from a blockchain.info wallet by exporting my private keys following this guide: https://bl4nkcode.info/bitcoin/how_to_export_blockchain_wallet_private_key, and then importing them into Electron-Cash.