Synthetic pathway for biocatalysis of formate from electrochemically reduced CO2 | Not Hacker News!