hey, thanks for the tip. remove_filter() threw an “undefined function” error, though (??) but i ended up figuring out that i could solve the problem by commenting out the following line in vars.php: add_filter('the_content', 'wpautop');
did the trick quite nicely…