Actually, I discovered (by doing the whole migration again) that the instructions are dead wrong. By re-migrating without doing the format adaptation for Roam, the tags all appeared in the Tag Pane.
As far as I can tell, this was because the #tag format used in Roam should be retained in Obsidian and not changed to a link [[tag]].