Thanks to a helpful link from u/aryan_1_mann I found a way to convert the steam IDs. Sorry that it took so long!
For those who don't know, I am a bot which will respond to dotabuff links or match <match id> comments with a full summary of the game. This post is about a new column which shows the player names, useful for people who want to know who played what!
8764
