Sites that formalbug collections follows