Mariatta, please review the rm-finite patch.  We're already agreed that the removal makes sense.  What you're checking for is whether patch is complete (that there aren't any dangling references to the removed code and that it doesn't remove too much).  Also, try out the patch and run the test suite in in a debug mode.  

Whether you find any issues or are ready to bless the patch, make a comment in the tracker and assign back to Martin (the core dev who posts the patch is usually the one to apply it).  After merging, he will mark the class as closed/rejected.