Topic on User talk:Derivative

Just edit the page, scroll to the very bottom, then delete the final blank line. That will refresh the categories without adding two edits to the page history.

I guess that's a less cumbersome way to do it. I'll give it a shot.