It seems like it could be useful for others, so I'll document it.