Oh sorry, I totally missed that it was already wrapped in `#colophon` (didn't expand in GitHub diff far enough). I think it should probably be fine in that case.