This reverts commit 436a866f5d350012175fcbfcc43e44dd2ffd5474. This is not a good place for such auxiliary functionality; will be moved elsewhere.
This reverts commit 436a866f5d350012175fcbfcc43e44dd2ffd5474. This is not a good place for such auxiliary functionality; will be moved elsewhere.