Good news, bbPress 0.74 has been released. I think bbPortal is compatible with this new version, but I haven't got the time to test this yet! With this 0.74 release, we can use some new functions like bb_get_options, which makes making plugins a lot easier. I think I am going to re-write the bbPortal plugin, so it will make use of these new functions. Perhaps it will resolve that small bug I've posted about at the same time!
Well get the new bbPress release at www.bbpress.org